Repository navigation

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

Merged

JukkaL merged 13 commits into

allow-redef-rename

Apr 22, 2026

Merged

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

Commits on Apr 20, 2026
- Rename allow_redefinitio_new -> allow_redefinition
  JukkaL
  committed
  0590497
- Update more
  JukkaL
  committed
  1c4a3ff
- Update tests
  JukkaL
  committed
  5838f6b
- Test fixes
  JukkaL
  committed
  83fc2a4
- Lint
  JukkaL
  committed
  116866d
- Doc updates
  JukkaL
  committed
  b79d8ec
- Minor docs update
  JukkaL
  committed
  ad77e94
- Update tests
  JukkaL
  committed
  f1e6d7d
Commits on Apr 21, 2026
- Address code review
  JukkaL
  committed
  1a2b60d
Commits on Apr 22, 2026
- Merge branch 'master' into allow-redef-rename
  JukkaL
  committed
  56327fb
- Update tests
  JukkaL
  committed
  d4f6a85
- Update test case to use legacy --allow-redefinition-new alias
  JukkaL
  committed
  c8e6416
- Fix after merge
  JukkaL
  committed
  a5aecfd