Ticket (now issue/PR) tag

27 views
Skip to first unread message

Travis Scrimshaw

unread,
Feb 15, 2023, 12:01:53 AM2/15/23
to sage-devel
To the github transition team,

Is there a sphinx tag for issues to replace :trac:`12345`?

Travis

Matthias Koeppe

unread,
Feb 15, 2023, 12:05:26 AM2/15/23
to sage-devel
See https://github.com/sagemath/sage/pull/35015
Reply all
Reply to author
Forward
0 new messages