Resolve "editing of general overlays should not possible in left tab" (!1507) · Merge requests · minerva / core · GitLab

Piotr Gawron requested to merge 1706-edit-of-general-overlays into devel_16.2.x Jun 13, 2022

Closes #1702 (closed), #1704 (closed), #1705 (closed), #1706 (closed)