Andreas Jaeger 1450cbdf62 Update infra and specs indices
Add missing entries.

This also tests that publishing works again.

Change-Id: I2b3b67332093e12a2f177e177715da9d9a9d00f1
2019-09-17 20:26:27 +02:00
..
2017-08-04 20:43:29 +02:00
2019-09-17 20:26:27 +02:00