-
-
Notifications
You must be signed in to change notification settings - Fork 491
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
make palp respect global CC flag #12431
Comments
for review purposes |
comment:1
Attachment: palp-1.1.p4.patch.gz |
comment:2
please mark as duplicate of #7071 |
comment:3
I guess changing the milestone and setting positive_review, you can do yourself, right? |
Reviewer: R. Andrew Ohana |
comment:4
Replying to @jdemeyer:
Yes I can, I thought that duplicate was a release manager only status, not a milestone, oops :p. |
comment:5
The difference is between proposing the ticket as duplicate and actually closing it as duplicate. |
The palp spkg currently does not respect the global CC flag, we should fix this (for instance for #12426).
Fixed by #7071.
CC: @jdemeyer
Component: build
Reviewer: R. Andrew Ohana
Issue created by migration from https://trac.sagemath.org/ticket/12431
The text was updated successfully, but these errors were encountered: