tree 80bcb43baa614a59ad0bffcbd70252a4876d10bb
parent 8f561fb8a324dc49c1fc3e4528b359fa90cfd656
author Robert Nystrom <rnystrom@google.com> 1625247841 -0700
committer Robert Nystrom <rnystrom@google.com> 1625247841 -0700

Simplify.