Don't panic when trying to reuse an existing workspace (#3538)

Release Notes:

- N/A
c91207b450Antonio Scandurra committed on 12/7/2023, 5:23:33 PM· committed by GitHubparents7ad6d482461902
1 file changedLine totals unavailable