Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix version regex #229

Merged
merged 2 commits into from
Feb 7, 2024
Merged

Fix version regex #229

merged 2 commits into from
Feb 7, 2024

Conversation

projekter
Copy link
Contributor

so that patch levels > 9 are recognized and stored correctly to avoid unnecessary updates

so that patch levels > 9 are recognized and stored correctly to avoid unnecessary updates
@projekter projekter changed the base branch from b10.1 to master November 14, 2023 11:02
@ulfworsoe ulfworsoe merged commit de6c254 into MOSEK:master Feb 7, 2024
@ulfworsoe
Copy link
Member

Thank you for the contribution, by the way!

@projekter projekter deleted the patch-1 branch February 7, 2024 10:00
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants