Commit 466fa8b8 authored Jan 04, 2021 by Andreas Klöckner

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

Shorten, standardize doc/conf

See merge request !50