Skip to content

Conversation

martin-frbg
Copy link
Collaborator

@martin-frbg martin-frbg commented Jun 29, 2025

adds MaartenBaert's related edits from PR1140 that were not already present in his earlier #5344

@martin-frbg martin-frbg added this to the 0.3.31 milestone Jun 29, 2025
@martin-frbg martin-frbg merged commit 7ae24d0 into OpenMathLib:develop Jun 29, 2025
83 of 87 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.

1 participant