A new upstream release 5.13 is available. Please update unstable, than we might forward this bug to the maxima devel mailing list.
Detlef -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]