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)
* waldi/syncproxy-security-buildd-pool:
  Export debian-security-buildd-pool on syncproxy


No differences found