On 25.11.2013 10:53, Marc Mutz wrote: >> There were exactly 31 commits with [ChangeLog]. Please start using it more. > > Samuel Gaist (thanks) suggested in PM to add a check to the sanity bot. How would the bot know whether a change is worth a changelog entry? Cheers, Joerg