I've adjusted the commit subject and ChangeLog content, and will push
this today, then I'll make a pre-release snapshot.