Skip to content

Properly delete toplevel on unmap#44

Merged
migueldeoleiros merged 1 commit intomasterfrom bugfix/workspace-switch-crash-#42Oct 30, 2024