]> git.donarmstrong.com Git - debbugs.git/search
* check whether the bug is archived before assuming its ok