Re: [PATCH] Fix scrolling right in the TUI (Re: [RFC 8.3 0/3] Some style fixes)

Pedro Alves
2019-03-18T14:41:06Z

On 03/15/2019 09:51 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
>
> Pedro> Tromey, WDYT? Would you prefer the version without the lambda?
>
> I think it's fine with them. Thank you.

Merged to master and branch.

Thanks,
Pedro Alves