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