Skip to content

Assorted fixes/cleanups

rahix requested to merge rahix/assorted-fixes into master

Nothing controversial, just a few fixes to the build-system/docs-build.

Merge request reports