On Tue, 2014-02-04 at 10:33 +0000, Ray Donnelly wrote: > I can't see it in the git repository yet. > > .. am I being too impatient? > Sorry, it's committed in my local repo at home but I haven't pushed. I'll do that tonight.
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make