Skip to content

Tracking PR for v0.15.0 release#1877

Merged
Mirko-von-Leipzig merged 0 commit into
mainfrom
next
Jul 2, 2026
Merged

Tracking PR for v0.15.0 release#1877
Mirko-von-Leipzig merged 0 commit into
mainfrom
next

Conversation

@bobbinth

@bobbinth bobbinth commented Apr 1, 2026 •
edited by Mirko-von-Leipzig
Loading

Copy link
Copy Markdown
Contributor

This is a tracking PR for v0.15.0 release.

Changelog

changelog = "none"
reason    = "This is a tracking PR"

@bobbinth

bobbinth commented May 7, 2026

Copy link
Copy Markdown
Contributor Author

main has "de-synced" from next again - @Mirko-von-Leipzig @sergerad, would be great to merge main back into next so that they don't drift too far apart.

@bobbinth

bobbinth commented May 7, 2026

Copy link
Copy Markdown
Contributor Author

main has "de-synced" from next again - @Mirko-von-Leipzig @sergerad, would be great to merge main back into next so that they don't drift too far apart.

Ah - seems like this is already in the works! (#2060)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

6 participants

@bobbinth @sergerad @huitseeker @kkovaacs @Mirko-von-Leipzig @SantiagoPittella