Commit b6e627ef authored Jan 04, 2021 by Andreas Klöckner

Merge branch 'inducer-master-patch-76238' into 'master'

Shorten, standardize doc/conf

See merge request !217