On 18/04/2013 16:09, Guillaume Lazzara wrote:
This is a merge commit message of the following
branches:
Merge: afa987b f8e6233
Of course, these are work branches and you are free to use them as you
wish, but you should try to preserve a linear history.
Right now, the history under exp/TL doesn't look good enough to me to be
pushed as-is into `next'. Especially, the ``Fix something'' patches
should be squashed into the relevant commit using `git rebase
--interactive'.