Skip to content

Conversation

@siraben
Copy link
Contributor

@siraben siraben commented Sep 11, 2025

No description provided.

@siraben
Copy link
Contributor Author

siraben commented Sep 11, 2025

cc @gares

@gares
Copy link
Member

gares commented Sep 11, 2025

thanks!

Copy link
Member

@gares gares left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. SortClass should stay Sortclass, plus I have a few minor comments here.

@siraben
Copy link
Contributor Author

siraben commented Sep 13, 2025

Thanks for the approve!

@siraben
Copy link
Contributor Author

siraben commented Sep 22, 2025

@gares can we get this merged?

@siraben
Copy link
Contributor Author

siraben commented Oct 5, 2025

@gares let's get it in before it's stale

@gares gares merged commit 93a266d into math-comp:master Oct 7, 2025
1 check passed
@siraben siraben deleted the typos-wording branch October 8, 2025 06:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants