New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
remove some deprecated aliases in categories #27320
Milestone
Comments
Commit: |
Branch: u/chapoton/27320 |
New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:4
green bot, please review |
comment:5
Looks good. |
Reviewer: John Palmieri |
Changed branch from u/chapoton/27320 to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
CC: @tscrim
Component: refactoring
Author: Frédéric Chapoton
Branch/Commit:
41eeb55
Reviewer: John Palmieri
Issue created by migration from https://trac.sagemath.org/ticket/27320
The text was updated successfully, but these errors were encountered: