diff --git a/CHANGELOG.md b/CHANGELOG.md
index 435aea425f4c..c7cd35c35136 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,6 +4,12 @@ This file contains notable changes (e.g. breaking changes, major changes, etc.)
 
 This file was introduced starting Kani 0.23.0, so it only contains changes from version 0.23.0 onwards.
 
+## [0.27.0]
+
+### Major changes
+
+* Added a `--exclude` option (requires `--workspace`) that allows excluding packages from verification by @adpaco-aws in #2399
+
 ## [0.26.0]
 
 ### What's Changed