On Mon, Aug 06 2012, Greg Troxel wrote:

> Thanks.  It might be good to use 'git revert' to undo things, since it's
> guaranteed (absent merge conflicts) to apply inverse changesets.

I know, but what you pointed was not a direct revert, see the changelog.
I would use git revert directly, but it seems that it's prefered to
document revert in changelog (correct me if I'm wrong).

-- 
Julien Danjou
;; Free Software hacker & freelance
;; http://julien.danjou.info