tree c48e8e75291aa29e36b3f1c7d6e6ca2d7a946d2b
parent c2dc91112590e773c92d91ec47f4b81683a55539
author David Ostrovsky <david@ostrovsky.org> 1547799307 +0100
committer David Ostrovsky <david@ostrovsky.org> 1547897708 +0100

Adapt to removal of ReviewDb

Bug: Issue 10331
Change-Id: If1100152ae4c6969bb665b71cc9adb15622805d7