Bug#796954: wxmaxima segfaults when given some special characters

2015-09-22 Thread Gunter Königsmann
Will try to do so but since this is my first time it will take a little bit of time. The brave at heart can try to use the .deb package that can be found at https://launchpad.net/~peterpall/+archive/ubuntu/wxmaxima-nightlies instead: They should work on debian, too - and contain loads of

Bug#796954: wxmaxima segfaults when given some special characters

2015-09-22 Thread Santiago Vila
Hi. I see that a very similar problem was reported here and there is even a patch: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752528#40 Could you please check that the patch fixes the bug in jessie? Thanks.