tree 1fd1245de16d464b20f53985a9589a8af49ca83f
parent 7bd510a969e9679b48a2e0931c402c14c361940d
author Dave Borowitz <dborowitz@google.com> 1397247083 -0400
committer Dave Borowitz <dborowitz@google.com> 1398100994 -0700

Fix build against latest Gerrit plugin API

Change-Id: I2868a4acd4346b09a0886076b35d9e4fb9d98b9a