Skip to content

Resolve "Maintenance Sept.14"

vaclav requested to merge 801-maintenance-sept-14 into main

Reason why this change is needed

  • Maintenance: bringing the framework to a better shape.

Description of the change

  • Formal improvements mainly around recently introduced CR fixes.

Affected operating points

  • All is BE
Edited by vaclav

Merge request reports

Loading