diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-02-02 21:20:29 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-02 21:20:29 (GMT) |
| commit | 5816d3cdfbfbeb5d173114ed08ab5c04c63207a6 (patch) | |
| tree | 9dd715cb97d94c144e10bd7aef47d69eedf668c2 /Documentation | |
| parent | b32fe956d0d8d601e2dc915d96e14d8bbdda6b71 (diff) | |
| parent | 46df6906f3aaf74dafe2026b028c8c5c1a0d5f58 (diff) | |
| download | git-5816d3cdfbfbeb5d173114ed08ab5c04c63207a6.zip git-5816d3cdfbfbeb5d173114ed08ab5c04c63207a6.tar.gz git-5816d3cdfbfbeb5d173114ed08ab5c04c63207a6.tar.bz2 | |
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
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions