Merge branch 'jk/unify-exit-code-by-receiving-signal' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 14 Jan 2013 16:01:27 +0000 (08:01 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Jan 2013 16:01:27 +0000 (08:01 -0800)
* jk/unify-exit-code-by-receiving-signal:
  run-command: encode signal death as a positive integer


Trivial merge