Skip to content
Snippets Groups Projects

rename General overlays to Shared overlays

Passed
Piotr Gawron created pipeline for commit 39708cb1
, finished
Related merge request !367 to merge 341-in-the-overlays-panel-change-general-overlays-to-shared-overlays
merge request
5 jobs 33 minutes 43 seconds, queued for 0 seconds