On Thu, Nov 07, 2013 at 04:48:10PM +0400, Yury Gribov wrote: > Yup, Jakub already pointed this out. Should I fix the changelog with > another commit?
Yes, just fix up the ChangeLog and commit, for ChangeLog changes of course you don't add a new ChangeLog entry. Jakub