I have just added a new bug status "fixed somewhere". Please use "fix proposed" and "fixed somewhere" according to the following rules:
> 1) fix proposed > > would be used if a patch is attached, but it hasn't been fixed in one of > the > systems > > 2) fixed somewhere > > would be used if the issue is fixed somewhere, regardless whether a patch > is > included or not. > ------------------------------------------------------------------------------- I will upload patches to those issues I marked "fix proposed" with comment "fixed in FriCAS" upon request. I hope that's OK for everybody. Otherwise, please complain and I'll try to find a solution. I'd be also very grateful for a better name, replacing "fixed somewhere", it shouldn't be longer though. Martin ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
