Skip to content

Quick collection of small fixes

Martin Roukala requested to merge random_fixes into master

Not much to say, I'll just merge them directly as they are really uncontroversial.

Merge request reports