Skip to content

MM Improvements and bugfixes - #70

Merged
JKRT merged 4 commits into
masterfrom
MM-Improvements
May 27, 2026
Merged

MM Improvements and bugfixes#70
JKRT merged 4 commits into
masterfrom
MM-Improvements

Conversation

@JKRT

@JKRT JKRT commented May 18, 2026

Copy link
Copy Markdown
Member

Bug fixes to nospecialized. Added a strict variant of the same macro
Adjsutment to the @assign macro

@JKRT JKRT self-assigned this May 18, 2026
@JKRT
JKRT merged commit e4e32c1 into master May 27, 2026
4 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