Thanks for the save Samuel!
On Sunday, August 23, 2020 at 9:24:48 PM UTC-4 Samuel Lelievre wrote:
> 2020-08-24 23:36:38 UTC, Travis Scholl:
>
> >
> > I was using `git-trac` and somehow accidently made 2 tickets:
> >
> > https://trac.sagemath.org/ticket/30425
> > https://trac.sagemath.org/ticket/3
2020-08-24 23:36:38 UTC, Travis Scholl:
>
> 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 c
