Thanks for your bug report, and the pointer to the patch. I have forwarded it to the maxima bug tracker; hopefully they will apply it soon. If not, we can revisit the question.
You can find the forwarded report at https://sourceforge.net/tracker/index.php?func=detail&aid=2037659&group_id=4933&atid=104933 David -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
