Jonas Herzig dc1bc1ee8e Merge branch '1.11.2-dev' into 1.12-dev

2018-01-17 00:18:04 +01:00

..

0001-Replace-https-urls-with-http-for-proxy-witness.patch

Update reprod to 1.9.4

2017-10-28 17:18:57 +02:00

0006-Replace-SNAPSHOT-deps-with-manually-built-ones.patch

Merge branch '1.11.2-dev' into 1.12-dev

2018-01-17 00:18:04 +01:00