Skip to content

Doc improvements

Holger Witsch requested to merge doc_improvements into master

Just a few places, where rewording seemed helpful.

Merge request reports