diff options
| author | Junio C Hamano <gitster@pobox.com> | 2017-01-18 15:12:16 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-01-18 15:12:16 -0800 |
| commit | 5918bdcf26030a2540ac25d5b8cbee82fad219fc (patch) | |
| tree | cb57d4f87ec162520e81f0b12ee114fbe55174fb /dir.c | |
| parent | 60dae46e42690dfb679abe9524d9f8efbfb45e7b (diff) | |
| parent | 46df6906f3aaf74dafe2026b028c8c5c1a0d5f58 (diff) | |
| download | git-5918bdcf26030a2540ac25d5b8cbee82fad219fc.tar.gz | |
Merge branch 'jk/execv-dashed-external'
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 'dir.c')
0 files changed, 0 insertions, 0 deletions