Skip to content

Make --allow-redefinition mean --allow-redefinition-new#21276

Merged
JukkaL merged 13 commits intomasterfrom
allow-redef-rename
Apr 22, 2026
Merged

Make --allow-redefinition mean --allow-redefinition-new#21276
JukkaL merged 13 commits intomasterfrom
allow-redef-rename

Commits

Commits on Apr 20, 2026

Commits on Apr 21, 2026

Commits on Apr 22, 2026