Skip to content

fix(maxima) - #14110

Merged
jhheider merged 1 commit into
mainfrom
fix(maxima)
Aug 18, 2026
Merged

fix(maxima)#14110
jhheider merged 1 commit into
mainfrom
fix(maxima)

Conversation

@jhheider

Copy link
Copy Markdown
Contributor

closes #14090

closes #14091

 closes #14090

 closes #14091
@jhheider
jhheider merged commit fdf1f34 into main Aug 18, 2026
5 checks passed
@jhheider
jhheider deleted the fix(maxima) branch August 18, 2026 17:34
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.

❌ build issues: maxima.sourceforge.io=5.50.0 ❌ build issues: maxima.sourceforge.io=5.50.0

1 participant