Merge branch 'jk/execv-dashed-external' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
Typing ^C to pager, which usually does not kill it, killed Git and
took the pager down as a collateral damage in certain process-tree
structure. This has been fixed.

* jk/execv-dashed-external:
execv_dashed_external: wait for child on signal death
execv_dashed_external: stop exiting with negative code
execv_dashed_external: use child_process struct

Trivial merge