Applied, thanks, although I left out the comment.
On Fri, Apr 19, 2013 at 01:25:27AM -0700, Daniel Ralston wrote:
> Hi all,
>
> I found and fixed a bug where window sizes weren't being recalculated
> in grouped sessions when a session's child dies, killing the window.
>
> I've included the repro
Hi all,
I found and fixed a bug where window sizes weren't being recalculated
in grouped sessions when a session's child dies, killing the window.
I've included the repro steps in the commit message.
Let me know if you'd like any changes.
Daniel
>From d7c541ad37dbe14dc50a2878448f5de0b