Skip to content

Some bugfixes from !1547

Three small, self-contained bugfixes that are not really specific to !1547 (closed).

Merge request reports