projects / mirror / dsa-puppet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7be1feb d01ff82)
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


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.