Bug#796954: wxmaxima segfaults when given some special characters

[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.