Skip to content

Libsemigroups v3.0.2#1058

Closed
james-d-mitchell wants to merge 2 commits intosemigroups:mainfrom
james-d-mitchell:libsemigroups-v3.0.2
Closed

Libsemigroups v3.0.2#1058
james-d-mitchell wants to merge 2 commits intosemigroups:mainfrom
james-d-mitchell:libsemigroups-v3.0.2

Conversation

@james-d-mitchell
Copy link
Collaborator

No description provided.

@james-d-mitchell james-d-mitchell marked this pull request as draft April 8, 2025 08:55
@james-d-mitchell james-d-mitchell added the WIP Label for PRs that are Works In Progress (WIP) label Apr 8, 2025
@james-d-mitchell
Copy link
Collaborator Author

@Joseph-Edwards

@james-d-mitchell
Copy link
Collaborator Author

Superseded by #1087

@james-d-mitchell james-d-mitchell deleted the libsemigroups-v3.0.2 branch December 18, 2025 07:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

WIP Label for PRs that are Works In Progress (WIP)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant