From: Peter Palfrader Date: Sun, 26 Feb 2017 17:00:38 +0000 (+0100) Subject: Merge remote-tracking branch 'waldi/syncproxy-security-buildd-pool' X-Git-Url: https://git.adam-barratt.org.uk/?a=commitdiff_plain;h=cc11cc41b4f2b52962379df377415b02d5f9d482;p=mirror%2Fdsa-puppet.git Merge remote-tracking branch 'waldi/syncproxy-security-buildd-pool' * waldi/syncproxy-security-buildd-pool: Export debian-security-buildd-pool on syncproxy --- cc11cc41b4f2b52962379df377415b02d5f9d482