tree fc0b3590031f28714237a2290827bc5ba9ff758a
parent e06d754797d7e3e08db1cb18f4503e6a8bd3c0e8
author Dave Borowitz <dborowitz@google.com> 1556119596 -0700
committer Dave Borowitz <dborowitz@google.com> 1556205765 -0700

Adapt to RevId removal

Change-Id: Id55f80a781a9d81c2142e6027e196576ac70d08f