New Settings option & `New Workspace ...` fix#16596

Merged

roboquat merged 2 commits intomainfrom

feat/project-settings-from-list-item

Mar 3, 2023

Commits on Mar 2, 2023

New Settings option & `New Workspace ...` fix

Siddhant-K-code
authored and
gtsiolis
committed

Commits on Mar 3, 2023

Merge branch 'main' into feat/project-settings-from-list-item
Siddhant-K-code
committed