Skip to content

More documentation fixes for 0.12.1

This PR introduces a few more trivial documentation fixes to be included in the 0.12.1 release.

Merge request reports