[Axiom-developer] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: use of `fix proposed'

[Martin Rubey]

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