Unverified Commit f5f2042a authored Aug 31, 2020 by Andreas Klöckner Committed by GitHub Aug 31, 2020

Merge pull request #369 from inducer/doc-fixes

Doc fixes