Merge branch 'master' into next
commit18102d359388b04ba2ad7ecee99c597e721f8f50
authorJunio C Hamano <gitster@pobox.com>
Tue, 19 Feb 2013 00:06:47 +0000 (18 16:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 19 Feb 2013 00:06:47 +0000 (18 16:06 -0800)
tree393fc51854b5a6f6d7785575fee4ccd1a619f14b
parentd5506403242cc53e746fff0d1fac527980137c3b
parent20a599e2c18dd5b491257d7f8aeb2d2f02221595
Merge branch 'master' into next

* master:
  RelNotes 1.8.2: push-simple will not be in effect in this release
  shell-prompt: clean up nested if-then