Greetings. On Mon, 10 Dec 2012 20:46:11 +0100 [email protected] wrote: > Patch is attached.
Thank you very much for this patch! That was a really nasty bug. Of course the patch is now applied in tip. Sincerely, Christoph Lohmann
- [dev] [st] [patch] alternate screen selection bugfix p37sitdu
- Re: [dev] [st] [patch] alternate screen selection b... Christoph Lohmann
