mirror of
https://github.com/microsoft/vscode.git
synced 2026-06-29 19:06:00 +01:00
9d4274e559
A bug that has probably existed for quite a while... if we are replacing a session, we should say the old session is removed.