tree ab20a02933f8c6dbec51aded5fd75f0a4a69df91
parent f1b43a2cb6182ce1671d6b9cf388307f11ace5ab
author Kevin Moore <kevmoo@google.com> 1582734677 -0800
committer Kevin Moore <kevmoo@google.com> 1582734677 -0800

Fix ignored pedantic lint: omit_local_variable_types