Commit 858ef372a4378652796d63c8d9af579608950f0a

Marc Pegon 2011-06-08T11:16:31

Changed commit short messages so that they match git log --oneline output. In git, the short message of a commit is the part of the commit message before 2 consecutive line breaks. In the short message, line breaks are replaced by space characters.