diff options
author | Erich Eckner <git@eckner.net> | 2018-02-01 13:35:10 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-02-01 13:35:10 +0100 |
commit | 9923c55b4db85f2777053f27f6873d2bf22142d0 (patch) | |
tree | 0bfd99e863965ca1d4216f09aab3633e08d1cdde | |
parent | e4fafecf4a2d73c995f5e5befe001f5a2b4a68fa (diff) | |
download | builder-9923c55b4db85f2777053f27f6873d2bf22142d0.tar.xz |
bin/modify-package-state: remove done TODO
-rwxr-xr-x | bin/modify-package-state | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/modify-package-state b/bin/modify-package-state index 3ae5c58..dec3013 100755 --- a/bin/modify-package-state +++ b/bin/modify-package-state @@ -128,9 +128,6 @@ if ! flock -s -n 9; then exit fi -# TODO: handle bug reports, too -# receive_buglist 'Testing' - while read -r package reason; do case "${action}" in 'faulty'|'tested') |