Skip to content

Merge multiple PRs#2547

Merged
ribbanya merged 4 commits into
doldecomp:masterfrom
ribbanya:pr/bulk
May 27, 2026
Merged

Merge multiple PRs#2547
ribbanya merged 4 commits into
doldecomp:masterfrom
ribbanya:pr/bulk

Conversation

@ribbanya
Copy link
Copy Markdown
Collaborator

No description provided.

@ribbanya ribbanya enabled auto-merge May 27, 2026 14:51
@ribbanya ribbanya merged commit 03b941e into doldecomp:master May 27, 2026
7 checks passed
@ribbanya ribbanya deleted the pr/bulk branch May 27, 2026 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants