Skip to content

Fix the locking of the workspace

Michal Urbanrequested 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