Comment 2 for bug 416393

Hi Paul,
thanks for your bugreport, and of course for your patch!
However I think I will not fix this bug this way, because at the end of each run I would like to have a list of bugs which could not be closed by the hugday tool (for example because a given id was not found on the wiki page)
So the solution will be to maintain already closed bugs in a separate set and compare both sets at the end to find out which bugs were marked as DONE, and which not.

I think I will work on it later today.

Thanks again,
Markus