tree 968851eaad8597e4adf3b4eb31106020c240d08d
parent 67fb14a970de14375e60e47d6ea36bb27b04200a
author Christoffer Quist Adamsen <christofferqa@google.com> 1646034543 +0100
committer Christoffer Adamsen <christofferqa@google.com> 1646035164 +0000

Fix nontermination from proto normalizer

Change-Id: Iedc9ce7a0c3f8c4972e25298b4f40e77e84b1e03