Skip to content

Release 0.6.1#171

Merged
waywardmonkeys merged 1 commit into
linebender:mainfrom
waywardmonkeys:release-0.6.1
May 15, 2026
Merged

Release 0.6.1#171
waywardmonkeys merged 1 commit into
linebender:mainfrom
waywardmonkeys:release-0.6.1

Conversation

@waywardmonkeys
Copy link
Copy Markdown
Collaborator

No description provided.

@waywardmonkeys waywardmonkeys enabled auto-merge May 15, 2026 04:53
Copy link
Copy Markdown
Contributor

@raphlinus raphlinus 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!

@waywardmonkeys waywardmonkeys added this pull request to the merge queue May 15, 2026
Merged via the queue into linebender:main with commit e1bb9ef May 15, 2026
15 checks passed
@waywardmonkeys waywardmonkeys deleted the release-0.6.1 branch May 15, 2026 04:58
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