Merge near-duplicate ChangeLog entries

As agreed with Gilles on the PR discussion page
1 file changed