Commit 94520f1b authored Jul 07, 2020 by Andreas Klöckner

Merge branch 'patch-1' into 'master'

Doc typo fix

See merge request !27