From f9c22ce5229d2dd3364f97862b81e48d9af8071a Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Thu, 16 Nov 2023 15:17:20 +0100
Subject: [PATCH] Add cherry-picks to changelog

---
 CHANGES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index bf8106c5b5e..a2aafa77d75 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -3,6 +3,8 @@
 
 - Introduce new experimental odoc rules (#8803, @jonjudlam)
 
+- Cherry-pick #9177 and #9201 (@emillon)
+
 3.12.0~alpha1 (2023-11-10)
 --------------------------