| commit | af1496b300cd755dcffd514ed0a329943f633cd4 | |
| author | nicm <nicm> | |
| Mon, 30 May 2022 13:03:46 +0000 (30 13:03 +0000) | ||
| committer | nicm <nicm> | |
| Mon, 30 May 2022 13:03:46 +0000 (30 13:03 +0000) | ||
| tree | a6cf9807c00113dde5fa56f79d448e4bcafccae4 | treesnapshot (tar.gz zip) |
| parent | 2b60ff588ebc26258848fa9d89a6e32e46eeba58 | commitdiff |
Do not allow pipe-pane on dead panes, from Anindya Mukherjee, GitHub
issue 3174.
issue 3174.
| cmd-pipe-pane.c | diffblobblamehistory |