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

From: Stefan Monnier <[email-masked]>
Date: Thu, 13 Feb 2014 20:45:51 -0500

> That's good, but it'd be better if the makefile worked with HP make as well.

I'm not sure it would really be better.

        Stefan "who'd rather require GNU Make"