Re: new release?

[Ralph Corderoy]

Hi Eric,

> I've pushed f188de902b613110d5943210f212adb680a2b44a to master
> now, which should resolve this test failure.

Thanks, but could you, and any other committers, try to use Git's
rebase rather than merge as it preserves your commits and their messages
rather than ‘Merge commit 'f188de902b613110d5943210f212adb680a2b44a'’
which doesn't spell out the fix for those browsing the commit log.

‘git pull --rebase’ does it, and that option can be made the default.
As well as git-pull(1), there's an explanation in
https://git-scm.com/book/en/v2/Git-Branching-Rebasing

-- 
Cheers, Ralph.