[PATCHSET] [3/4] Fix various issue in TUI

[Eli Zaretskii]

> Date: Mon, 05 Jan 2015 19:29:20 +0000
> From: Pedro Alves <palves@redhat.com>
> 
> On 12/31/2014 05:50 PM, Eli Zaretskii wrote:
> > This patch fixes a couple of problems with documentation of TUI
> > features.
> > 
> > OK?
> 
> Looks fine to me.

Thanks, pushed.