Commit 887c1931a293cc6bb2687fea7a8303ab3e8fbc7e

Edward Thomson 2017-02-04T11:04:30

Merge pull request #4108 from rcjsuen/patch-1 Flag given_opts in git_revert as optional