diff --git a/cedar-policy-cli/CHANGELOG.md b/cedar-policy-cli/CHANGELOG.md
index bb515717c..35cd7a263 100644
--- a/cedar-policy-cli/CHANGELOG.md
+++ b/cedar-policy-cli/CHANGELOG.md
@@ -1,5 +1,7 @@
 # Changelog
 
+## 2.4.6
+
 ## 2.4.5
 
 ## 2.4.4
diff --git a/cedar-policy-cli/Cargo.toml b/cedar-policy-cli/Cargo.toml
index fca2b7c3b..4df6a0191 100644
--- a/cedar-policy-cli/Cargo.toml
+++ b/cedar-policy-cli/Cargo.toml
@@ -2,7 +2,7 @@
 name = "cedar-policy-cli"
 edition = "2021"
 
-version = "2.4.5"
+version = "2.4.6"
 license = "Apache-2.0"
 categories = ["compilers", "config"]
 description = "CLI interface for the Cedar Policy language."
@@ -11,8 +11,8 @@ homepage = "https://cedarpolicy.com"
 repository = "https://github.com/cedar-policy/cedar"
 
 [dependencies]
-cedar-policy = { version = "=2.4.5", path = "../cedar-policy" }
-cedar-policy-formatter = { version = "=2.4.5", path = "../cedar-policy-formatter" }
+cedar-policy = { version = "=2.4.6", path = "../cedar-policy" }
+cedar-policy-formatter = { version = "=2.4.6", path = "../cedar-policy-formatter" }
 clap = { version = "4", features = ["derive", "env"] }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"
diff --git a/cedar-policy-core/Cargo.toml b/cedar-policy-core/Cargo.toml
index c1f60be20..41adc6c06 100644
--- a/cedar-policy-core/Cargo.toml
+++ b/cedar-policy-core/Cargo.toml
@@ -3,7 +3,7 @@ name = "cedar-policy-core"
 edition = "2021"
 build = "build.rs"
 
-version = "2.4.5"
+version = "2.4.6"
 license = "Apache-2.0"
 categories = ["compilers", "config"]
 description = "Core implemenation of the Cedar Policy language."
diff --git a/cedar-policy-formatter/Cargo.toml b/cedar-policy-formatter/Cargo.toml
index ee0d2e558..274493c9a 100644
--- a/cedar-policy-formatter/Cargo.toml
+++ b/cedar-policy-formatter/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cedar-policy-formatter"
-version = "2.4.5"
+version = "2.4.6"
 edition = "2021"
 license = "Apache-2.0"
 categories = ["compilers", "config"]
@@ -10,7 +10,7 @@ homepage = "https://cedarpolicy.com"
 repository = "https://github.com/cedar-policy/cedar"
 
 [dependencies]
-cedar-policy-core = { version = "=2.4.5", path = "../cedar-policy-core" }
+cedar-policy-core = { version = "=2.4.6", path = "../cedar-policy-core" }
 pretty = "0.12.1"
 logos = "0.13.0"
 itertools = "0.10"
diff --git a/cedar-policy-validator/Cargo.toml b/cedar-policy-validator/Cargo.toml
index 9f66bca3a..7769cd3a7 100644
--- a/cedar-policy-validator/Cargo.toml
+++ b/cedar-policy-validator/Cargo.toml
@@ -2,7 +2,7 @@
 name = "cedar-policy-validator"
 edition = "2021"
 
-version = "2.4.5"
+version = "2.4.6"
 license = "Apache-2.0"
 categories = ["compilers", "config"]
 description = "Validator for the Cedar Policy language."
@@ -11,7 +11,7 @@ homepage = "https://cedarpolicy.com"
 repository = "https://github.com/cedar-policy/cedar"
 
 [dependencies]
-cedar-policy-core = { version = "=2.4.5", path = "../cedar-policy-core" }
+cedar-policy-core = { version = "=2.4.6", path = "../cedar-policy-core" }
 serde = { version = "=1.0.193", features = ["derive"] }
 serde_json = { version = "=1.0.108", features = ["preserve_order"] }
 serde_with = "=3.4.0"
diff --git a/cedar-policy/CHANGELOG.md b/cedar-policy/CHANGELOG.md
index 0d2a0ec93..fee415f67 100644
--- a/cedar-policy/CHANGELOG.md
+++ b/cedar-policy/CHANGELOG.md
@@ -1,5 +1,11 @@
 # Changelog
 
+## 2.4.6
+
+### Fixed
+
+- The formatter will now fail with an error if it changes a policy's semantics.
+
 ## 2.4.5
 
 ### Changed
diff --git a/cedar-policy/Cargo.toml b/cedar-policy/Cargo.toml
index 20167196e..51e4c85d4 100644
--- a/cedar-policy/Cargo.toml
+++ b/cedar-policy/Cargo.toml
@@ -2,7 +2,7 @@
 name = "cedar-policy"
 edition = "2021"
 
-version = "2.4.5"
+version = "2.4.6"
 license = "Apache-2.0"
 categories = ["compilers", "config"]
 description = "Cedar is a language for defining permissions as policies, which describe who should have access to what."
@@ -11,8 +11,8 @@ homepage = "https://cedarpolicy.com"
 repository = "https://github.com/cedar-policy/cedar"
 
 [dependencies]
-cedar-policy-core = { version = "=2.4.5", path = "../cedar-policy-core" }
-cedar-policy-validator = { version = "=2.4.5", path = "../cedar-policy-validator" }
+cedar-policy-core = { version = "=2.4.6", path = "../cedar-policy-core" }
+cedar-policy-validator = { version = "=2.4.6", path = "../cedar-policy-validator" }
 ref-cast = "1.0"
 serde = { version = "1.0", features = ["derive", "rc"] }
 serde_json = "1.0"