-
Vincent Untz authored
If we don't do that, right now, there is no just no way to go back to a default session for users. Of course, this will make people who save a session once unhappy, but if we want to handle that correctly, we need more work anyway.
e8759ab5