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)
commit750a6cacf49dd57a4b4891ffdbd63191180273da
tree43d467def1e540b1b9902d5ef54f1de578c5aaf9
parent32a03dc165e2a65fdb20a4ddbe51eaa1e5f52c5b
parent709ca730f8e093005cc882bfb86c0ca9c83d345b
Merge branch 'jk/unify-exit-code-by-receiving-signal' into maint

* jk/unify-exit-code-by-receiving-signal:
  run-command: encode signal death as a positive integer