diff --git a/CHANGES b/CHANGES index fb8374e3e0c..5155041f606 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. Bugs fixed ----------