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 /debian/copyright | |
| parent | a26e14805afab72a5a5f7ba4ca34f564e29516f5 (diff) | |
| download | jenkins.debian.net-a367ceb9379fdc9082c76b4d1ff2fdfa8caed401.tar.xz | |
reproducible: scheduler: shuffle the package list right before scheduling them
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions