Skip to content

chore(heel): release v0.10.1 - #225

Merged
lexoliu merged 1 commit into
mainfrom
release-plz-2026-11-11T07-58-35Z
Nov 12, 2026
Merged

lexoliu merged 1 commit into
mainfrom
release-plz-2026-11-11T07-58-35Z

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 11, 2026 •

Copy link
Copy Markdown
Contributor

🤖 New release

  • heel: 0.10.0 -> 0.10.1 (✓ API compatible changes)
Changelog

0.10.1 - 2026-11-12

Fixed

  • (linux) close the broker's copy of an opened file before the caller resumes

Other

  • the release PR is never set to merge automatically


This PR was generated with release-plz.

@github-actions
github-actions Bot force-pushed the release-plz-2026-11-11T07-58-35Z branch from 6b84ea5 to 8e20a36 Compare November 12, 2026 03:02
@lexoliu
lexoliu added this pull request to the merge queue Nov 12, 2026
Merged via the queue into main with commit 1c0033e Nov 12, 2026
9 checks passed
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.

1 participant