chore: Release

leanprover · Jun 10, 2023 · f3b9c9a · f3b9c9a
1 parent 7bd9f52
commit f3b9c9a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 1.4.6 - 2023-06-10
 
 - Avoid dependency on the VC++ Redistributable on Windows (#97)
 

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "1.4.5"
+version = "1.4.6"
 authors = [ "Sebastian Ullrich <[email protected]>" ]
 description = "Manage multiple Lean installations with ease"
 publish = false