diff --git a/CHANGELOG.md b/CHANGELOG.md
index ca6d89e3f413..f873f2a42755 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -12,7 +12,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
 * Add UB checks for ptr_offset_from* intrinsics by @celinval in https://github.com/model-checking/kani/pull/3757
 
 ### What's Changed
-* Package Docker release step: ensure compiler is installed by @tautschnig in https://github.com/model-checking/kani/pull/3789
 * Include manifest-path when checking if packages are in the workspace by @qinheping in https://github.com/model-checking/kani/pull/3819
 * Update kissat to v4.0.1 by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/3791
 * Rust toolchain upgraded to 2025-01-07 by @remi-delmas-3000 @zhassan-aws