Fix normal_form for module orderings other than the default ordering #5934
Merged
fingolfin merged 4 commits intooscar-system:masterfrom Apr 15, 2026
Merged
Fix normal_form for module orderings other than the default ordering #5934fingolfin merged 4 commits intooscar-system:masterfrom
fingolfin merged 4 commits intooscar-system:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
- committed
