guru_sainathandGitHub 7d3a96b3d0 [WEB-763] fix: workspace remains listed after leaving the workspace in the user profile (#3993) ...

* chore: build error

* fix: workspace not getting removed when user leaves the workspace

2024-03-20 13:43:18 +05:30

..

workspace-not-available.png

[WEB-763] fix: workspace remains listed after leaving the workspace in the user profile (#3993)

2024-03-20 13:43:18 +05:30