Skip to content

Judge a renamed element by the name the author wrote (#445, #450) - #479

Merged
jmanico merged 1 commit into
mainfrom
fix/445-450-rename-input-name
Sep 11, 2026
Merged

jmanico merged 1 commit into
mainfrom
fix/445-450-rename-input-name

Commits

Commits on Sep 11, 2026