tree 78e1b5f60913c54ff8f9a790bf4257844bd73f53
parent fd6bd2a35ccc288af8aaf1485de12942335ae88c
author Timothy Chen <timothytim@google.com> 1629949717 -0700
committer tjaychen <timothytim@google.com> 1629951501 -0700

[rstmgr, dv] Hotfix for CI breakge

A couple of PRs seem to have somehow crossed and resulted in a CI
failure.

Signed-off-by: Timothy Chen <timothytim@google.com>