> Date: Tue, 16 Apr 2013 09:56:01 +0100
> From: Tim Murphy <[email protected]>
> 
> 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
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to