Skip to content

Conversation

@wilfwilson
Copy link
Member

I can confirm that the Semigroups package works fine with this PR.

This related to MatrixObj methods breaking Semigroups package.

This reverts the final remaining change from
commit 6f629ba

This change had already been reverted in
ef9f5ee

But it was reintroduced (I think accidentally?) in
52509bb
@wilfwilson wilfwilson added topic: library release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jan 28, 2021
@fingolfin fingolfin merged commit 5e5c90a into gap-system:master Feb 1, 2021
@wilfwilson wilfwilson deleted the remove-downrank branch March 25, 2021 10:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: library

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants