tree 303e348c70a86445e53dde9ded40bae5f677dbe2
parent 4ca3ea9a7830ff73cd2be8d706523deee8b88157
parent 56c9f4ed6dbe3c88f793851c88389637f3714a5d
author David Pursehouse <dpursehouse@digital.ai> 1591919789 +0900
committer David Pursehouse <dpursehouse@digital.ai> 1591919789 +0900

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Add repository rule to provide gerrit api version

Change-Id: Ie97f2bc7af0cd4050fe1cf008a879f8b439f37c1