Close patch #2997 too

[Ognyan Kulev]

As I said in a comment, this patch fixes nothing.

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/bug-hurd