Skip to content

Avoid dock manager double delete (crashes)#587

Merged
githubuser0xFFFF merged 1 commit intogithubuser0xFFFF:masterfrom
tmartsum:bugfix/avoid_dockmgr_delete_of_deleted_objects
Dec 6, 2023
Merged

Avoid dock manager double delete (crashes)#587
githubuser0xFFFF merged 1 commit intogithubuser0xFFFF:masterfrom
tmartsum:bugfix/avoid_dockmgr_delete_of_deleted_objects

Commits

Commits on Dec 6, 2023