> Weekly reminder: commit messages should contain (almost) the same text as what's added to the ChangeLog files. Sorry about that. Hopefully, this reminder will no longer be necessary starting tomorrow. :-)