Skip to content
Back to pull request #5947

Main menu tweaks (variable -> settings, undo / redo tweaks to support translation, etc.) #9569

Sign in to view logs

Main menu tweaks (variable -> settings, undo / redo tweaks to support translation, etc.)

Main menu tweaks (variable -> settings, undo / redo tweaks to support translation, etc.) #9569

test

test
succeeded Jan 19, 2025 in 3s