diff options
author | Mattia Rizzolo <mattia@debian.org> | 2016-02-19 07:38:03 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-02-19 10:34:33 +0100 |
commit | a367ceb9379fdc9082c76b4d1ff2fdfa8caed401 (patch) | |
tree | 43850ab30b32069d3b840893d7a39fb37e3333ad /hosts/bpi0-armhf-rb/usr | |
parent | a26e14805afab72a5a5f7ba4ca34f564e29516f5 (diff) | |
download | jenkins.debian.net-a367ceb9379fdc9082c76b4d1ff2fdfa8caed401.tar.xz |
reproducible: scheduler: shuffle the package list right before scheduling them
Diffstat (limited to 'hosts/bpi0-armhf-rb/usr')
0 files changed, 0 insertions, 0 deletions