Merge branch 'js/no-cherry-pick-head-after-punted'
authorJunio C Hamano <gitster@pobox.com>
Wed, 19 Oct 2011 17:49:05 +0000 (10:49 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Oct 2011 17:49:05 +0000 (10:49 -0700)
commit541b9cf...463334b1984a0b78a7180246415cb477
treedca0ebe...f75365e4b35ea44488dca0010afd0496copy hash to clipboard (tree)
parent2201cc8...977918c520e70093f4b74bbdf70afcc5copy hash to clipboard (diff)
parent278f7e6...6dc1b515f192daf836fe75d733435774copy hash to clipboard (diff)
builtin/revert.c