Richard Earnshaw (lists) writes:
> On 08/04/2019 09:59, Andrea Corallo wrote: >> >> Richard Earnshaw (lists) writes: >> >>> Ah, you've just changed the ChangeLog entries. By comments, I meant in >>> the source code, so that it's clear these don't exist. ChangeLog update >>> is good too. >>> >>> R. >> >> Hi Richard, >> sorry my misunderstanding. >> > > NP. I've put this in. For future reference, I've made a few very minor > tweaks before applying... Thanks for that! Bests Andrea
