Skip to content

Fix the locking of the workspace

Michal Urban requested to merge 7-fix-the-locking-of-the-workspace into master

removing the necessity to call workspace new from most processes and improving the workspace creation process

Closes #7 (closed)

Edited by Michal Urban

Merge request reports