Thanks a lot! It is weird that there was no report send to bug-hurd (yet) about the patch I've uploaded. Anyway, the patch that I've uploaded is without the generated files.
Guess that savannahs email notification system is broken... Cheers. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
