We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Aliases were introduces in 1.9 and deprecated, so we can remove them in 1.11
The text was updated successfully, but these errors were encountered:
Ping @ggonthier it would be the right time to do this.
Sorry, something went wrong.
For example I guess this one should be removed https://github.com/math-comp/math-comp/blob/master/mathcomp/fingroup/perm.v#L581
Commit introducing the alias seems to be this one 5d7bd2e
remove deprecated commands whose deprecation was introduced in releas…
d431b6b
…e 1.9.0 fixes math-comp#418
a8c8fd1
ggonthier
Successfully merging a pull request may close this issue.
Aliases were introduces in 1.9 and deprecated, so we can remove them in 1.11
The text was updated successfully, but these errors were encountered: