diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-25 15:51:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-25 15:51:58 +0200 |
| commit | dfda73807ee7e016e65fb298b54f5edc2880ecb5 (patch) | |
| tree | 62a281711c4c5a11c7201fbdfec4c84c301f966f /bin/check-bugtracker | |
| parent | 700df20c73efe5779a05617485c815ab686bd227 (diff) | |
| download | builder-dfda73807ee7e016e65fb298b54f5edc2880ecb5.tar.xz | |
bin/seed-build-list: upon un-deleting a package, actually _remove_ it from the deletion-list
Diffstat (limited to 'bin/check-bugtracker')
0 files changed, 0 insertions, 0 deletions