On Wed, Oct 19, 2016 at 05:10:26PM +0100, Edd Barrett wrote: > On Sun, Oct 16, 2016 at 07:15:41PM +0100, Edd Barrett wrote: > > The following diff attempts to fix this, and tweaks the surrounding text > > a bit too. > > Any love for this? >
just be patient, please. jmc