Skip to content

chore: sync v0.11.0 release back to develop - #440

Merged
Paulo Lacerda (placerda) merged 2 commits into
developfrom
main
Aug 22, 2026
Merged

chore: sync v0.11.0 release back to develop#440
Paulo Lacerda (placerda) merged 2 commits into
developfrom
main

Conversation

@placerda

Copy link
Copy Markdown
Contributor

Summary

  • synchronize the v0.11.0 release merge back into develop
  • preserve the finalized changelog and version metadata

Required invariant

After merge, git log --oneline origin/develop..origin/main must print nothing.

@placerda
Paulo Lacerda (placerda) merged commit 1f6abc7 into develop Aug 22, 2026
20 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