Skip to content

Make v4.1.0-patched equal to v4.1.0-Final #4

Merged
MikaelJohnssonModelon merged 2 commits intov4.1.0-patchedfrom
v4.1.0-Final
Nov 12, 2025
Merged

Make v4.1.0-patched equal to v4.1.0-Final #4
MikaelJohnssonModelon merged 2 commits intov4.1.0-patchedfrom
v4.1.0-Final

Conversation

@MikaelJohnssonModelon
Copy link

This is to prepare for removing all the dev variants of 4.1.0 branches.
Need to first copy over the tolerance change from v4.1.0-Final.

@MikaelJohnssonModelon MikaelJohnssonModelon merged commit 87eada5 into v4.1.0-patched Nov 12, 2025
1 of 4 checks passed
@MarkusOlssonModelon MarkusOlssonModelon deleted the v4.1.0-Final branch November 24, 2025 09:48
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.

1 participant