On Sat, Jan 7, 2017 at 8:22 AM, Jeff King <p...@peff.net> wrote: > When you hit ^C to interrupt a git command going to a pager, > this usually leaves the pager running. But when a dashed > external is in use, the pager ends up in a funny state and > quits (but only after eating one more character from the > terminal!). This fixes it. > > Explaining the reason will require a little background. > > ...
I see I have exposed a bug and I'm glad you are around to fix it. Even reading your explanation is scary enough, let alone finding it. Thanks! -- Duy
