jhardenberg Merge pull request #2 from jhardenberg/nocompat
6dde4ab May 18, 2020
Merge pull request #2 from jhardenberg/nocompat
Style adjustments and other cleanup
6dde4ab