Commit 300d192f7ed45112121f2a35d5ca80a4913c7aad

Edward Thomson 2013-12-02T11:15:27

Introduce git_revert to revert a single commit