tree 9dd715cb97d94c144e10bd7aef47d69eedf668c2
parent b32fe956d0d8d601e2dc915d96e14d8bbdda6b71
parent 46df6906f3aaf74dafe2026b028c8c5c1a0d5f58
author Junio C Hamano <gitster@pobox.com> 1486070429 -0800
committer Junio C Hamano <gitster@pobox.com> 1486070429 -0800

Merge branch 'jk/execv-dashed-external' into maint

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