On 7/8/07, Harald Geyer <Harald.Geyer at gmx.at> wrote:
> 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.
Agreed. How about if you do it?
You seem like a reasonable and competent person.
I will give you cvs write permission for the purpose of
applying patches from the patch tracker, if you so desire.
> 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.
Hmm, maybe so. I dunno. The patch tracker is used from time to time.
best
Robert Dodier