Dear all, If you mess up a commit log, not everything is lost. You can edit the commit log of a particular revision by doing:
svn propedit -r REVISION --revprop svn:log Note that this change is not versioned: whatever was the log before is completely overwritten by the new one. I have fixed the log of revision 138275, which was a diff dump until a moment ago, with the correct one. Some more broken commits logs follow. Please fix them: revision committer problem 129905 dgregor a diff 129888 pinskia a diff 139317 jakub the commit log mentions files that were not committed 138154 meissner this should mention the files modified 138141 hubicka this should mention the files modified 138140 hubicka the commit log mentions changes that were not committed If you spot an obviously wrong commit log message, please fix it yourself or bug the committer to fix it. Thanks, Manuel.
