tree e05f484077429d37513bfa6327ceac79f51b78a5
parent f1b43a2cb6182ce1671d6b9cf388307f11ace5ab
author Kevin Moore <kevmoo@google.com> 1583356684 -0800
committer Kevin Moore <kevmoo@google.com> 1583357098 -0800

Enable and fix 'prefer_final_locals'