Skip to content

chore: add HISTORY.md entry for v0.12.1#440

Merged
jrriehl merged 1 commit into
mainfrom
release/v0.12.1
May 21, 2026
Merged

chore: add HISTORY.md entry for v0.12.1#440
jrriehl merged 1 commit into
mainfrom
release/v0.12.1

Conversation

@jrriehl

@jrriehl jrriehl commented May 21, 2026

Copy link
Copy Markdown
Contributor

Proposed Changes

Add HISTORY.md entry for v0.12.1

Types of changes

What type of change does this pull request make (put an x in the boxes that apply)?

  • Bug fix (non-breaking change that fixes an issue).
  • New feature added (non-breaking change that adds functionality).
  • Breaking change (fix or feature that would cause existing functionality to stop working as expected).
  • Documentation update.
  • Something else (e.g., tests, scripts, example, deployment, infrastructure).

Checklist

Put an x in the boxes that apply:

  • I have read the CONTRIBUTING guide
  • Checks and tests pass locally

@MissingNO57 MissingNO57 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@jrriehl jrriehl merged commit a159080 into main May 21, 2026
30 checks passed
@jrriehl jrriehl deleted the release/v0.12.1 branch May 21, 2026 11:39
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