Hi Rasmus, > On 13 Aug 2018, at 10:24, Rasmus Villemoes <r...@rasmusvillemoes.dk> wrote: > >> Ok, modulo ChangeLog reformatting: > > Thanks for spotting that. I have a script that fixes the whitespace > issue automatically, but it doesn't catch missing leading * in entries. > > Do you want me to send an updated and rebased version of these patches > (including changelog fixups)?
No, no need to repost just for the ChangeLog format update. Thanks, Olivier
