On 15 March 2018 at 17:38, Richard Henderson
wrote:
> Ho hum, I rushed v1 before leaving on holidays and failed to format
> the cover letter properly, so Peter's scripts did not pick it up.
>
> Patches 2 & 3 are real bug fixes and so still appropriate for the
> softfreeze. Patch 1 is trivial enou
Ho hum, I rushed v1 before leaving on holidays and failed to format
the cover letter properly, so Peter's scripts did not pick it up.
Patches 2 & 3 are real bug fixes and so still appropriate for the
softfreeze. Patch 1 is trivial enough I didn't feel it needed to
be held back for 2.13 developmen
