Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

skip unprocessed guid defined sections #124

Merged

Conversation

yeggor
Copy link
Contributor

@yeggor yeggor commented Feb 1, 2024

This PR contains fix for #123 (if at least one GuidDefinedSection has not been processed, we can skip it).
On test example it happened only with 0393d0c4-6b0c-4b96-b4c3-8c7eb718f348 (1 from 329).

@yeggor
Copy link
Contributor Author

yeggor commented Feb 1, 2024

here is result after fix: log.txt

@theopolis theopolis merged commit 0dda10b into theopolis:master Feb 1, 2024
7 checks passed
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.

2 participants