On Wed, 2009-07-29 at 20:09 +0200, Ralf Wildenhues wrote: > Thanks for maintaining GNU make,
Thanks for these Ralf. I'll get them in. _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make