Merge branch 'jk/cherry-pick-0-mainline'
authorJunio C Hamano <gitster@pobox.com>
Fri, 17 Mar 2017 20:50:28 +0000 (13:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 17 Mar 2017 20:50:28 +0000 (13:50 -0700)
commit9c96637...63ef26c7726e693984c2d4d9599d4e7e
tree23ff95a...b958cb006f75f155a3aef4b54c320ec9copy hash to clipboard (tree)
parenta0393a2...8fecff8cdc17aba51245f29433520d81copy hash to clipboard (diff)
parentb16a991...1be5681b4b673d4343dfcc0c2f5ad498copy hash to clipboard (diff)
builtin/revert.c