From bc5dd0e6f379c4bc9f442a87225257a03d25d991 Mon Sep 17 00:00:00 2001
From: "oleg.hoefling" <oleg.hoefling@gmail.com>
Date: Sat, 30 Oct 2021 18:09:03 +0200
Subject: [PATCH] add changelog entry

Signed-off-by: oleg.hoefling <oleg.hoefling@gmail.com>
---
 CHANGES | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/CHANGES b/CHANGES
index b35f126d7..c62d16c1f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,6 +12,9 @@ Deprecated
 
 Features added
 --------------
+ 
+* #9800: extlinks: Emit warning if a hardcoded link is replaceable
+  by an extlink, suggesting a replacement.
 
 * #9815: html theme: Wrap sidebar components in div to allow customizing their
   layout via CSS