On Sat, Sep 06, 2014 at 03:39:10PM +0200, Emilio Pozuelo Monfort wrote: > But I don't mind if you rewrite the history to avoid the merge, > although I don't know if there are many users that could be affected > (but probably there aren't). Bah, I just did it :) Berto