commit | a130f38e789cb0666a40b35264816f7e1e1f740c | [log] [tgz] |
---|---|---|
author | David Morgan <davidmorgan@google.com> | Fri Jan 10 15:55:47 2020 +0100 |
committer | GitHub <noreply@github.com> | Fri Jan 10 15:55:47 2020 +0100 |
tree | 0356c4779bad10f1844490fd1aa5bd4dce8a049a | |
parent | 8459bda5c8f1ef35d28db1618cea216e3fa4c810 [diff] | |
parent | 197501b1003495c026a39dbe15978030ba7e517f [diff] |
Merge pull request #1953 from davidmorgan/fix-unnecessary-final Fix unnecessary_final: don't fire for fields.