Skip to content

Conversation

lubennikovaav
Copy link

Previously, the --ignore option was only used when reading from a single file.

Previously, the --ignore option was only used when reading from a single file.
@kelvich
Copy link

kelvich commented May 1, 2024

needs the same update as 16

@lubennikovaav lubennikovaav merged commit f0d6b0e into REL_15_STABLE_neon May 2, 2024
@lubennikovaav lubennikovaav deleted the waldump_ignore_errors branch May 2, 2024 09:51
tristan957 pushed a commit that referenced this pull request May 10, 2024
Previously, the --ignore option was only used when reading from a single file.
tristan957 pushed a commit that referenced this pull request May 20, 2024
Previously, the --ignore option was only used when reading from a single file.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants