Merge remote-tracking branch 'waldi/syncproxy-security-buildd-pool'
authorPeter Palfrader <peter@palfrader.org>
Sun, 26 Feb 2017 17:00:38 +0000 (18:00 +0100)
committerPeter Palfrader <peter@palfrader.org>
Sun, 26 Feb 2017 17:00:38 +0000 (18:00 +0100)
commitcc11cc41b4f2b52962379df377415b02d5f9d482
tree8fc04320723c22f952db5ba632bd00d1b41cb1b2
parent7be1feb881b6e87088d9fcc6e07ee44b69ada662
parentd01ff82689c702144f7f9cda95fd3d7070fbe563
Merge remote-tracking branch 'waldi/syncproxy-security-buildd-pool'

* waldi/syncproxy-security-buildd-pool:
  Export debian-security-buildd-pool on syncproxy