The relevant upstream bug report is http://sourceforge.net/tracker/index.php?func=detail&aid=1556679&group_id=64033&atid=506056
The comments of this bug report indicate that this bug is fixed in the master branch at https://github.com/gnodet/jline/ I'm working on building this branch right now, hopefully I'll be able to report back that this branch fixed the problem. -- Chanoch (Ken) Bloom. PhD candidate. Linguistic Cognition Laboratory. Department of Computer Science. Illinois Institute of Technology. http://www.iit.edu/~kbloom1/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
