Skip to content

chore: release v0.7.1 - #180

Closed
randomm wants to merge 1 commit into
mainfrom
release-plz-2026-10-09T08-00-48Z
Closed

randomm wants to merge 1 commit into
mainfrom
release-plz-2026-10-09T08-00-48Z

Conversation

@randomm

@randomm randomm commented Oct 9, 2026

Copy link
Copy Markdown
Owner

🤖 New release

  • double-o: 0.7.0 -> 0.7.1 (✓ API compatible changes)
Changelog

[0.7.1] - 2026-10-09

Bug Fixes


This PR was generated with release-plz.

@randomm

randomm commented Oct 11, 2026

Copy link
Copy Markdown
Owner Author

Closing without merging: known documentation inaccuracies must be fixed before releasing (tracked in #181: the 'since 0.8.0' note in docs/cli-reference.md, the overstated project-isolation claim in docs/security-model.md, the Store::delete_project trait doc, the pattern_load module doc, plus a CLI-vs-docs audit). Release-plz will open a fresh release PR after the fix is on main.

@randomm randomm closed this Oct 11, 2026
@randomm
randomm deleted the release-plz-2026-10-09T08-00-48Z branch October 11, 2026 08:34
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