Skip to content
Snippets Groups Projects

Merge branch '78-zooming-in-gui-workspace' into 'develop'

Passed
Adam Jakobsson created pipeline for commit d8c4f923
, finished
For 65-implement-a-workspace-in-the-gui-2
latest branch
1 job 1 minute 43 seconds, queued for 9 seconds