From b1a2aa06dbcaac7011347d6c89cbfa3d6dd4da10 Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Mon, 5 Jun 2023 15:47:33 +0200
Subject: [PATCH] Changelog

Signed-off-by: Etienne Millon <me@emillon.org>
---
 CHANGES.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index f6967cf8cbf7..b16d84a84f70 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -26,8 +26,8 @@ Unreleased
 - The `interface` and `implementation` fields of a `(dialect)` are now optional
   (#7757, @gpetiot)
 
-- Revert #7450 "Resolve `ppx_runtime_libraries` in the target context when
-  cross compiling", #7415.
+- Revert #7415 and #7450 (Resolve `ppx_runtime_libraries` in the target context when
+  cross compiling) (#7887, fixes #7875, @emillon)
 
 3.8.0 (2023-05-23)
 ------------------