diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2017-06-26 15:11:02 -0700 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-06-27 10:34:31 +0200 |
| commit | 89f0204854ad10ca6b505ab4a5bf04e59875058a (patch) | |
| tree | 0d007bff80b48be08a7b83a090b9e09a3c30a30c /hosts/jenkins/etc | |
| parent | b05af1c4bce0279b91d16dc22a38a74ba6336282 (diff) | |
| download | jenkins.debian.net-89f0204854ad10ca6b505ab4a5bf04e59875058a.tar.xz | |
reproducible: Switch armhf machines to stretch.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/jenkins/etc')
0 files changed, 0 insertions, 0 deletions