From 376fe08de32889846d70c27859ffac1e07d123e9 Mon Sep 17 00:00:00 2001
From: Gabor Greif <gabor@dfinity.org>
Date: Tue, 16 Jul 2024 16:59:40 +0200
Subject: [PATCH] chore: Releasing 0.11.3 (#4619)

---
 Changelog.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index b4015df6ddc..76c46edcebe 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,9 +1,12 @@
 # Motoko compiler changelog
 
-## 0.11.3 (2024-07-XX)
+## 0.11.3 (2024-07-16)
 
 * motoko (`moc`)
 
+  * feat: `motoko-san` contributions by Serokell. Now able to verify some simple but non-trivial actors
+    (thanks to the entire Serokell team) (#4500).
+
   * bugfix: Corrects the interpreter (and compiler) to recognise certain type parameters as callable function types (#4617).
 
 ## 0.11.2 (2024-07-06)