Skip to content

four random fixes

Four commits made while working on other things, details in the commit messages.

Merge request reports