Skip to content

Conversation

@benlorenz
Copy link
Member

@benlorenz benlorenz added topic: combinatorics package: Polymake release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jan 14, 2026
Copy link
Collaborator

@antonydellavecchia antonydellavecchia left a comment

Choose a reason for hiding this comment

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

looks good

@benlorenz benlorenz enabled auto-merge (squash) January 14, 2026 13:15
@benlorenz benlorenz merged commit f1718ad into master Jan 14, 2026
38 of 39 checks passed
@benlorenz benlorenz deleted the bl/posetfixelems branch January 14, 2026 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

package: Polymake release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: combinatorics

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants