Skip to content

fix(sim): close_gui segfault#290

Merged
juelg merged 1 commit intomasterfrom
fix/close-gui-segfault
Apr 24, 2026
Merged

fix(sim): close_gui segfault#290
juelg merged 1 commit intomasterfrom
fix/close-gui-segfault

Commits

Commits on Apr 24, 2026