Make --allow-redefinition mean --allow-redefinition-new #21276
JukkaL
merged
13 commits into
master
from
allow-redef-rename
Rename allow_redefinitio_new -> allow_redefinition
05904977
Update more
1c4a3ffb
Update tests
5838f6b4
Test fixes
83fc2a46
Lint
116866d1
Doc updates
b79d8ecd
Minor docs update
ad77e94a
Update tests
f1e6d7db
ilevkivskyi
commented
on 2026-04-20
Address code review
1a2b60d3
Merge branch 'master' into allow-redef-rename
56327fb7
Update tests
d4f6a85a
Update test case to use legacy --allow-redefinition-new alias
c8e64164
Fix after merge
a5aecfd9
ilevkivskyi
approved these changes
on 2026-04-22
Login to write a write a comment.
Login via GitHub