-
Florian Müllner authored
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. !620
d0da96ad
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. !620