Unverified Commit 052ed213 authored Sep 28, 2020 by Andreas Klöckner Committed by GitHub Sep 28, 2020

Merge pull request #14 from inducer/quotes

Enable, fix quotes linting