commit | 5b8cc522c2140176656d5399c35e3bc0889a2789 | [log] [tgz] |
---|---|---|
author | David Morgan <davidmorgan@google.com> | Mon Jan 13 17:58:26 2020 +0100 |
committer | GitHub <noreply@github.com> | Mon Jan 13 17:58:26 2020 +0100 |
tree | 059f9d9f3b19684eb077e637849bf506b4b151a5 | |
parent | df93a4c64a77d3eb8193acb38f4d7e6f7006383b [diff] | |
parent | 7630c3bb4d69874e99debc9a78e13a5432f9732c [diff] |
Merge pull request #1958 from davidmorgan/unnecessary-final-range Make unnecessary_final lint report on the `final` keyword.