mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-22 18:35:37 +08:00
c94d6eb902
This reverts commit d88f53e2b9. I merged
it too hastily without paying enough attention to compatibility with
released Gerrit versions.
Change-Id: I4028d4737df1255f11e217da183a19a010597d5b