diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-15 19:35:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-15 19:35:04 +0200 |
| commit | d1100aebc3513a6e3044944afcca7b4e567378c2 (patch) | |
| tree | 1954cbf770599e1f7b4942877a0c3d1fbc89de8e /misc | |
| parent | c6c725b287e2edddc78047f6ef66d6adbdd9cedc (diff) | |
| download | builder-d1100aebc3513a6e3044944afcca7b4e567378c2.tar.xz | |
bin/prioritize-build-list -d should not increase priority of failed builds
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions