diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-15 12:48:56 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-15 12:48:56 +0200 |
| commit | 1a1f676cb7e77334b85c27db23be75d5ca8f1909 (patch) | |
| tree | b50d54bbb59f98db75b5dddc62f242d1547d020c /bin/delete-packages | |
| parent | c95d83e7c6ac3f72536153ea1b1910cea3e414ad (diff) | |
| download | builder-1a1f676cb7e77334b85c27db23be75d5ca8f1909.tar.xz | |
bin/return-assignment: reset build_assignments.priority in case of failed build
Diffstat (limited to 'bin/delete-packages')
0 files changed, 0 insertions, 0 deletions