Skip to content

Assorted fixes/cleanups

rahixrequested to merge
rahix/assorted-fixes into master

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

Merge request reports