Unverified Commit 1092de2e authored Sep 28, 2020 by Andreas Klöckner Committed by GitHub Sep 28, 2020

Merge pull request #407 from inducer/quotes

Enable, fix quotes linting