chore: Release

Kha · Kha · commit 58e8d545e336 · 2025-05-26T10:58:24.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-# Unreleased
+# 4.1.2 - 2025-05-26
 
 - Ignore errors when writing to `.elan/known-projects`, e.g. when it is read-only.
 
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "elan"
-version = "4.1.1"
+version = "4.1.2"
 authors = [ "Sebastian Ullrich <sebasti@nullri.ch>" ]
 description = "Manage multiple Lean installations with ease"
 edition = "2021"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Unreleased`
	`1`	`+# 4.1.2 - 2025-05-26`
`2`	`2`
`3`	`3`	- Ignore errors when writing to `.elan/known-projects`, e.g. when it is read-only.
`4`	`4`