tree 2f29a94ae1cc49487f18f47ac0f227008129b0dc
parent df93a4c64a77d3eb8193acb38f4d7e6f7006383b
author David Morgan <davidmorgan@google.com> 1578925901 +0100
committer David Morgan <davidmorgan@google.com> 1578932409 +0100

Make unnecessary_final lint report on the `final` keyword.