Skip to content

Feature/Fix gui name rename crash - #230

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

ThomasKroes merged 2 commits into
masterfrom
feature/fix_gui_name_rename_crash

Commits

  1. Commits on Feb 19, 2026