-
Florian Müllner authored
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. #1497
6205d5eb
MetaWorkspaceManager gained the ability to reorder workspaces, so make sure to pick up the new order when that happens. #1497