> Hello,
>
> I am planning to tag a release branch for the next release of
> Maxima (5.13.0) on August 1, with a release sometime later
> in August.
I think the patch in the patch tracker item 1622650 also found at:
http://sourceforge.net/tracker/index.php?func=detail&aid=1622650&group_id=4933&atid=304933
should be applied before the next release. It seems to be
uncontroversial and useful.
It also seems that the patch tracker gets much less attention by the
maxima developers than the bug tracker. Perhaps it would be a good
idea to just remove the patch tracker from the project and have
people file patches in the bug tracker instead.
HTH,
Harald