Skip to content

Fixed #1892: Rename 'confusing' option to something more descriptive#1893

Merged
derickr merged 1 commit intomasterfrom
issue1892-default-naming
Apr 23, 2026
Merged

Fixed #1892: Rename 'confusing' option to something more descriptive#1893
derickr merged 1 commit intomasterfrom
issue1892-default-naming

Commits

Commits on Apr 23, 2026