On 05/04/2013 01:34 PM, Paul Smith wrote: > On Sat, 2013-05-04 at 11:52 +0200, Stefano Lattarini wrote: >> Ping? Any reason not to apply this trivial patch? > > You may have noticed, there's a lot going on right now... and I do have > an actually for-$$ job as well :-). Many of these kinds of things have > to wait until the weekends. > OK, no problem. I just wanted to ensure this didn't fall through the cracks. I will be more patient next time.
> It's queued and I'll get to it, thanks! > Thanks, Stefano _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
