tree 43d467def1e540b1b9902d5ef54f1de578c5aaf9
parent 32a03dc165e2a65fdb20a4ddbe51eaa1e5f52c5b
parent 709ca730f8e093005cc882bfb86c0ca9c83d345b
author Junio C Hamano <gitster@pobox.com> 1358179287 -0800
committer Junio C Hamano <gitster@pobox.com> 1358179287 -0800

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