> Date: Tue, 16 Apr 2013 09:56:01 +0100 > From: Tim Murphy <tnmur...@gmail.com> > > IMHO, get it in and fix the details later because as it is it's exceedingly > useful.
It's already in, that's what Paul's message was about. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
