Or somebody tracks down the bug and submits a patch to Jeff. As I have said before, the bug is dead with a 99.991% certantiy. If someone still insists, I can dig through ChangeLog's and diffs to pin down and actually document that the bug is dead (or alive).
So unfortunately, there is no clear ETA :( Thats a good enough answer for me. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/help-hurd
