diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2016-10-01 16:37:51 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2016-10-01 16:37:51 +0000 |
| commit | 478161e7dd4d35c5ac5d0cbf90e911f236026b51 (patch) | |
| tree | 216dbd4532753a07ef6f2aa32b34ba4e7c7bcd2f /live/config/chroot_local-includes/usr | |
| parent | cc03eeb72f06c02afae1217824b02c46afb718b9 (diff) | |
| download | jenkins.debian.net-478161e7dd4d35c5ac5d0cbf90e911f236026b51.tar.xz | |
reproducible debian: if a manual schedule with notification was requested, still send the done notification to the main channel #-reproducible
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions