Skip to content

chore(release): 0.4.19-unstable.20260905194116 - #1834

Closed
rubenvdlinde wants to merge 1 commit into
developmentfrom
release/v0.4.19-unstable.20260905194116
Closed

chore(release): 0.4.19-unstable.20260905194116#1834
rubenvdlinde wants to merge 1 commit into
developmentfrom
release/v0.4.19-unstable.20260905194116

Conversation

@rubenvdlinde

Copy link
Copy Markdown
Contributor

Version bump for 0.4.19-unstable.20260905194116, opened by the release workflow.

The tag v0.4.19-unstable.20260905194116 already names this commit, so the released
package and its label agree. Merging this brings development up
to the released version.

Raised as a pull request rather than pushed directly because
development requires one; a direct push is rejected with GH013
and takes the release down with it.

@rubenvdlinde

Copy link
Copy Markdown
Contributor Author

Superseded by the version bump for 0.4.19-unstable.20260905195448. The version this pull request carries is already published under its own tag; development catches up via the newer bump.

auto-merge was automatically disabled September 5, 2026 19:55

Pull request was closed

@rubenvdlinde
rubenvdlinde deleted the release/v0.4.19-unstable.20260905194116 branch September 5, 2026 19:55
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