Skip to content

Commit

Permalink
chore: bump the patch version
Browse files Browse the repository at this point in the history
  • Loading branch information
jaybosamiya committed Mar 25, 2024
1 parent c01c05e commit 3ba6ede
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 2 deletions.
2 changes: 2 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# Unreleased

# v0.2.9

* Add support for `invariant_except_break` clauses, recently added to Verus
* Support arbitrary permutation of clauses in loops, rather than a pre-specified order

Expand Down
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "verusfmt"
version = "0.2.8"
version = "0.2.9"
edition = "2021"
autoexamples = false
license = "MIT"
Expand Down

0 comments on commit 3ba6ede

Please sign in to comment.