Patrick Hiesel 8d72356e2b Remove unused dummy index ...

Change-Id: If9c1190a223661d6fdba2f8db9213c69ff5d17f3

2019-12-13 16:58:57 +01:00

..

google/gerrit

Remove unused dummy index

2019-12-13 16:58:57 +01:00