Skip to content

chore(main): release 0.12.6#74

Merged
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
release-please--branches--main
Jul 12, 2026
Merged

chore(main): release 0.12.6#74
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
release-please--branches--main

Commits

Commits on Jul 12, 2026