Skip to content
Snippets Groups Projects
Verified Commit 99901711 authored by Lauri Timmanee's avatar Lauri Timmanee
Browse files

Issue #3366257 by amateescu: The active workspace is not deactivated when it's deleted 

(cherry picked from commit 96939a6b)
parent 3dc86aa6
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment