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 27, 2024
1 parent 3936d69 commit 0b118e0
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.10

* Add support for `broadcast proof`, `broadcast group`, and `broadcast use` (see [verus#1022](https://github.com/verus-lang/verus/pull/1022))

# v0.2.9
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.9"
version = "0.2.10"
edition = "2021"
autoexamples = false
license = "MIT"
Expand Down

0 comments on commit 0b118e0

Please sign in to comment.