Skip to content

To gap string - #465

Open
james-d-mitchell wants to merge 2 commits into
libsemigroups:mainfrom
james-d-mitchell:to_gap_string
Open

To gap string#465
james-d-mitchell wants to merge 2 commits into
libsemigroups:mainfrom
james-d-mitchell:to_gap_string

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

This PR updates for the changes in libsemigroups/libsemigroups#992

@james-d-mitchell james-d-mitchell added the upstream-changes Label for issues or PRs related to changes in libsemigroups label Aug 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

upstream-changes Label for issues or PRs related to changes in libsemigroups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants