On Sun, Sep 09, 2012 at 09:21:20AM -0300, Olivier Hallot wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Fix a mess I did by using mv instead of git-mv Pushed as a part of the original commit. D.