diff --git a/Changelog.md b/Changelog.md
index 456d7428c92..21d3b0c8020 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,7 +1,6 @@
 # Motoko compiler changelog
 
-
-## Unreleased
+## 0.11.0 (2024-03-05)
 
 * motoko (`moc`)
 
@@ -27,6 +26,17 @@
     for the `system` capability. In order to call these, the full call hierarchy needs to be
     adapted to pass the `system` capability.
 
+  * Introduced the feature for precise tagging of scalar values (#4369).
+
+    Controlled by flag `--experimental-rtti` (off by default). Minor performance changes for
+    arithmetic expected. We advise to only turn on the feature for testing, as currently no
+    productive upsides exist (though future improvements will depend on it), and performance
+    of arithmetic will degrade somewhat. See the PR for the whole picture.
+
+* motoko-base
+
+  * Added `Option.equal` function (thanks to ByronBecker) (dfinity/motoko-base⁠#615).
+
 ## 0.10.4 (2024-01-10)
 
 * motoko (`moc`)
diff --git a/doc/md/base/Option.md b/doc/md/base/Option.md
index 7acf1548052..8bf84923aa8 100644
--- a/doc/md/base/Option.md
+++ b/doc/md/base/Option.md
@@ -124,6 +124,13 @@ func isNull(x : ?Any) : Bool
 
 Returns true if the argument is `null`, otherwise returns false.
 
+## Function `equal`
+``` motoko no-repl
+func equal<A>(x : ?A, y : ?A, eq : (A, A) -> Bool) : Bool
+```
+
+Returns true if the optional arguments are equal according to the equality function provided, otherwise returns false.
+
 ## Function `assertSome`
 ``` motoko no-repl
 func assertSome(x : ?Any)