Subject: Re: bug#16717: Dumping: Can't update subspace record

From: Glenn Morris <[email-masked]>
Date: Fri, 14 Feb 2014 02:51:31 -0500

Stefan Monnier wrote:

>         Stefan "who'd rather require GNU Make"

You would? Really and truly? For some reason I thought you were against that.

Because I totally agree; and I think we should do that post 24.4.
It will make Makefile life much easier.