Skip to content
Verified Commit 96939a6b authored by Lauri Timmanee's avatar Lauri Timmanee
Browse files

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

parent 917678cf
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment