On 12/19/2014 10:14 AM, Jean-Pierre Flori wrote:
>
>
> On Friday, December 19, 2014 4:03:44 PM UTC+1, Bruno Grenet wrote:
>>
>> I've changed recently the status of a ticket to "needs review" since I
>> think it is not relevant anymore, and I wanted it to be closed. I now
>> guess it is not the
On Friday, December 19, 2014 4:03:44 PM UTC+1, Bruno Grenet wrote:
>
> I've changed recently the status of a ticket to "needs review" since I
> think it is not relevant anymore, and I wanted it to be closed. I now
> guess it is not the right approach... What should I do in such a case?
>
> Put
I've changed recently the status of a ticket to "needs review" since I
think it is not relevant anymore, and I wanted it to be closed. I now
guess it is not the right approach... What should I do in such a case?
For concreteness it is ticket #2907
(http://trac.sagemath.org/ticket/2907) that as
