A ping if it goes unnoticed is generally a good idea, but normally you wait 2 or 3 days. Patches have gone unnoticed in the past, so your concern is valid.
Maarten. _______________________________________________ xorg-devel mailing list [email protected] http://lists.x.org/mailman/listinfo/xorg-devel
