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
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment