-
Notifications
You must be signed in to change notification settings - Fork 126
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
Rename blowdown to blowup #4148
Rename blowdown to blowup #4148
Conversation
Looks good to me. Ping @HereAround for the toric side, please. (In case of his approval, this can be merged.) |
Do we need to deprecate to save some code that people have written but not merged yet? |
I'm afraid that an |
From a purely technical POV, deprecations are not necessary here, as there are no (non-comment) changes to (cc @lkastner) |
Discussed in triage, looks okay to merge. |
* Rename blowdown to blowup
Command used: