Skip to content

Fix renaming data constructors with fields (resolves #2915, resolves #4083) #4635

Merged
mergify[bot] merged 7 commits intomasterfrom
jan/fix-rename-constructor-record-fields
Jun 20, 2025
Merged

Fix renaming data constructors with fields (resolves #2915, resolves #4083) #4635
mergify[bot] merged 7 commits intomasterfrom
jan/fix-rename-constructor-record-fields

Commits

Commits on Jun 16, 2025

Commits on Jun 17, 2025