commit | 9943913a1685065894eaf1b5bdfa53f53c8b147c | [log] [tgz] |
---|---|---|
author | David Morgan <davidmorgan@google.com> | Thu Dec 05 16:34:04 2019 +0100 |
committer | GitHub <noreply@github.com> | Thu Dec 05 16:34:04 2019 +0100 |
tree | ef3e7026b36621bef75313e11997924c1fb43b56 | |
parent | ebbc1b1a772c0d7e544b06439ff571a89702bddb [diff] | |
parent | be8d2cddff50679298c8c906086122e7b381aeb4 [diff] |
Merge pull request #35 from davidmorgan/add-lints Add newly enforced lints for 1.9.0, release.