Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse)

Mon, 06 Apr 2015 08:00:17 -0700 

> Date: Mon, 6 Apr 2015 15:03:43 +0100
> From: Gavin Smith <[email protected]>
> Cc: Texinfo <[email protected]>
> 
> It's OK to commit: I am not working on pcterm.c.

Done.

Reply via email to