tree 059f9d9f3b19684eb077e637849bf506b4b151a5
parent df93a4c64a77d3eb8193acb38f4d7e6f7006383b
parent 7630c3bb4d69874e99debc9a78e13a5432f9732c
author David Morgan <davidmorgan@google.com> 1578934706 +0100
committer GitHub <noreply@github.com> 1578934706 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeHKGyCRBK7hj4Ov3rIwAAdHIIAFc5PRj4TpFPzcxSWqC46D3b
 +l7tnGegsW7uN7V/R3vS4WFBCzjes3R1mG+p5RUIaBMpltk0+Y7EitVZ8mpCU433
 Q2IDjM69mTeL/UdYfZ4iz9oc2MyLtcEHi/3SCQUMf8mfu07va9Ue/7PSgsl0vGt5
 ZS51Q7lYY8yrCIAi+pI7H8xLM4Ev0pD2092fMFXm/ne3EC60z645CtUee6TbzuCf
 ZxeYJQ4HkfDDgSHrZjPXtoFq0PhR1itZXseIgTCjDdL6eReOU9oO70MwcZcxMe5r
 E0AymHsVhbiKcorvAhpcnvmeekfwngw4BFGLPd13NKJ5eRQXrSSIVAjvJPXbC/A=
 =+vXT
 -----END PGP SIGNATURE-----
 

Merge pull request #1958 from davidmorgan/unnecessary-final-range

Make unnecessary_final lint report on the `final` keyword.