Unverified Commit 178f6b8c authored Aug 28, 2020 by Andreas Klöckner Committed by GitHub Aug 28, 2020

Merge pull request #403 from inducer/doc-fixes

Doc fixes