diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-07-18 00:22:24 +0200 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-07-18 00:22:24 +0200 |
| commit | d019f87ad014ed546e805520d65fd2596776eb5e (patch) | |
| tree | 75e7dfc1001ee9bf4eb21491d6153827d4d0588f /live/config | |
| parent | 87f8632536c800f8e6d0a3a64a035356023df190 (diff) | |
| download | jenkins.debian.net-d019f87ad014ed546e805520d65fd2596776eb5e.tar.xz | |
chroot-run: another case when to retry debootstrap…
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'live/config')
0 files changed, 0 insertions, 0 deletions