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 deprecated has_key #33843
Labels
Milestone
Comments
Branch: u/chapoton/33843 |
New commits:
|
Commit: |
comment:2
green bot, so please review (a simple one, I think) |
comment:3
Looks good. |
Reviewer: Thierry Monteil |
sagetrac-tmonteil
mannequin
added
s: positive review
and removed
s: needs review
labels
May 12, 2022
Changed branch from u/chapoton/33843 to |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
from #25281
CC: @tscrim @kwankyu
Component: misc
Author: Frédéric Chapoton
Branch/Commit:
bf849a0
Reviewer: Thierry Monteil
Issue created by migration from https://trac.sagemath.org/ticket/33843
The text was updated successfully, but these errors were encountered: