Just to make it very clear, these patches are not approved yet. I think that was already quite clear.
Patches do not "gather dust" and there is no particular urgency in these cases (at least, no reason for urgency has been explained). When the patch checkers themselfs forget about the patches that have been checked and recheck, then they gather dust. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
