Skip to content

Fix: Ensure unique serial number for VEX file#686

Merged
garydgregory merged 1 commit intomasterfrom
fix/vex-serial-number
Aug 4, 2025
Merged

Fix: Ensure unique serial number for VEX file#686
garydgregory merged 1 commit intomasterfrom
fix/vex-serial-number

Conversation

@ppkarwasz
Copy link
Contributor

This update corrects the serial number in the VEX file, which was mistakenly copied from apache/commons-bcel#446. With this fix, all published VEX files will now have unique serial numbers, preventing potential conflicts or duplication.

This update corrects the serial number in the VEX file, which was mistakenly copied from apache/commons-bcel#446. With this fix, all published VEX files will now have unique serial numbers, preventing potential conflicts or duplication.
@garydgregory garydgregory merged commit 8d3f4aa into master Aug 4, 2025
15 checks passed
@garydgregory garydgregory deleted the fix/vex-serial-number branch August 4, 2025 12:10
@garydgregory garydgregory changed the title fix: Ensure unique serial number for VEX file Fix: Ensure unique serial number for VEX file Aug 4, 2025
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