logless commit 7b3551e3a8f7278e123757987570c72f1216acc2

[Ondřej Bílka]

On Fri, Feb 28, 2014 at 03:12:53PM -0800, Roland McGrath wrote:
> You've pushed a commit with no ChangeLog entries.  If this was a change
> that was properly reviewed and its log entries reviewed, then push the
> missing ChangeLog bit immediately.  Otherwise, revert your change
> immediately (git revert) and get it all (including its ChangeLog entries)
> properly reviewed first.

Yeah, I added changelog there but forgotten to 'git add' it. Fixed.