Commit bf9a7e0607b21bb09c4b69913b84fe295d4f5b18

Vicent Marti 2014-07-22T20:30:26

Merge pull request #2485 from ethomson/cherrypick Rename git_cherry_pick to git_cherrypick