Framework maintenance
This MR contains framework improvements from previous MRs !888 (closed), !889 (closed), and !905 (closed) as discussed during the technical call on August 11.
Edited by vaclav
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
This MR contains framework improvements from previous MRs !888 (closed), !889 (closed), and !905 (closed) as discussed during the technical call on August 11.