-
-
Notifications
You must be signed in to change notification settings - Fork 481
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
py3: get rid of cmp in totally real fields #23698
Labels
Milestone
Comments
New commits:
|
Commit: |
Branch: u/chapoton/23698 |
comment:2
If the patchbot comes back green, then you can set a positive review on my behalf. |
Reviewer: Travis Scrimshaw |
Changed keywords from none to days88, IMA coding sprints |
comment:4
bot is morally green, setting to positive. Thank you, Travis. |
Changed branch from u/chapoton/23698 to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
as another step to py3
Component: python3
Keywords: days88, IMA coding sprints
Author: Frédéric Chapoton
Branch/Commit:
feb4dd0
Reviewer: Travis Scrimshaw
Issue created by migration from https://trac.sagemath.org/ticket/23698
The text was updated successfully, but these errors were encountered: