reassign 627103 hurd fixed 627103 20110519-2 thanks It seems I had missed that bug report. This should be already fixed since June actually.
Next time, take care to write your comment *after* the mail headers, not before. That is why things got mangled. Samuel -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
