On Mon, Aug 24, 2020 at 1:36 AM Travis Scholl wrote:
>
> I was using `git-trac` and somehow accidently made 2 tickets:
>
> https://trac.sagemath.org/ticket/30425
> https://trac.sagemath.org/ticket/30426
>
> I don't think tickets can be deleted, but what is the proper etiquette for
> marking one a
I was using `git-trac` and somehow accidently made 2 tickets:
https://trac.sagemath.org/ticket/30425
https://trac.sagemath.org/ticket/30426
I don't think tickets can be deleted, but what is the proper etiquette for
marking one a duplicate or closed?
--
You received this message because you are
