If memory serves me right, John Hay wrote:
> I have now also tested your second patch and with a minor mod to make
> make happy, the release finished. Here is the patch as I have used it.
Great, thanks for testing this! I'm still having problems keeping my
scratch box alive long enough for a make release to complete, so this is
much appreciated. (I did get far enough to find the mistake in the
patch that you also fixed.) I committed the corrected patch with one
additional, minor mod (last instance of NORELNOTES changed to NODOC).