Skip to content

Comments

Feature/Fix gui name rename crash#230

Merged
ThomasKroes merged 2 commits intomasterfrom
feature/fix_gui_name_rename_crash
Feb 19, 2026
Merged

Feature/Fix gui name rename crash#230
ThomasKroes merged 2 commits intomasterfrom
feature/fix_gui_name_rename_crash

Commits

Commits on Feb 19, 2026