chore: bump the patch version

A new patch, since we are moving to a new location. With this, crates.io should reflect the new location accurately.
verus-lang · Feb 23, 2024 · 1508d14 · 1508d14
1 parent 1f42e62
commit 1508d14
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Unreleased
 
+# v0.2.4
+
+* Move verusfmt to the verus-lang organization: https://github.com/verus-lang/verusfmt
+
 # v0.2.3
 
 * Don't drop "?" or "~" from type bounds

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,12 +1,12 @@
 [package]
 name = "verusfmt"
-version = "0.2.3"
+version = "0.2.4"
 edition = "2021"
 autoexamples = false
 license = "MIT"
 description = "An opinionated formatter for Verus"
-homepage = "https://github.com/jaybosamiya/verusfmt"
-repository = "https://github.com/jaybosamiya/verusfmt"
+homepage = "https://github.com/verus-lang/verusfmt"
+repository = "https://github.com/verus-lang/verusfmt"
 readme = "README.md"
 keywords = ["verus", "formatter", "pretty-printer"]
 categories = ["development-tools"]