diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-06-14 19:38:09 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-06-14 22:36:07 +0200 |
commit | 98cbb7d97f540dfe073ed235e96123903c31369f (patch) | |
tree | 33b7b9a3c86592b585fda4fec23f6139593d0d9d /live/config/chroot_local-includes/usr | |
parent | 860f29ff449b15a082407c80075e51be1e86c1a7 (diff) | |
download | jenkins.debian.net-98cbb7d97f540dfe073ed235e96123903c31369f.tar.xz |
reproducible: common,maintenance: also pass $REASON to the rescheduling script via --message
Diffstat (limited to 'live/config/chroot_local-includes/usr')
0 files changed, 0 insertions, 0 deletions