Skip to content

Conversation

fingolfin
Copy link
Contributor

Contains PR #35761, once that is merged I'll rebase here.

Copy link
Contributor

@fchapoton fchapoton left a comment

Choose a reason for hiding this comment

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

gut, danke schoen

@fingolfin fingolfin force-pushed the mh/yet-more-libgap branch from 4039bb6 to e1c34dd Compare July 2, 2023 09:59
@github-actions
Copy link

github-actions bot commented Jul 2, 2023

Documentation preview for this PR (built with commit e1c34dd; changes) is ready! 🎉

@vbraun vbraun merged commit e66446b into sagemath:develop Jul 9, 2023
@fingolfin fingolfin deleted the mh/yet-more-libgap branch July 9, 2023 11:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants