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.

Sign up for GitHub

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

Jump to bottom

fix the URL for libsemigroups in README.md #945

Merged

james-d-mitchell merged 1 commit into semigroups:main from dimpase:patch-1

Sep 10, 2023

Contributor

dimpase commented Sep 10, 2023

No description provided.


          fix the URL for libsemigroups in README.md

f925efd

james-d-mitchell merged commit c819563 into semigroups:main

11 of 12 checks passed

Collaborator

james-d-mitchell commented Sep 10, 2023

Thanks @dimpase

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet