tree 77297ecb153d9d32b96d829d6bbbce7b7ee8608a
parent 31f42b6144d5df44bd532e5d7c15d91a8410659f
author Morten Krogh-Jespersen <mkroghj@google.com> 1641808375 +0100
committer Morten Krogh-Jespersen <mkroghj@google.com> 1641810139 +0000

Use a frontier approach to storing reserved names

Bug: 213415674
Bug: 213041051
Bug: 211822928
Change-Id: I4e268ccdb5cd6a0075f75308ee2e0fb1f782147e