diff --git a/CHANGES b/CHANGES index 68f9331ba4c..b58c5e34178 100644 --- a/CHANGES +++ b/CHANGES @@ -38,6 +38,7 @@ Bugs fixed * #9670: html: Fix download file with special characters * #9649: HTML search: when objects have the same name but in different domains, return all of them as result instead of just one. +* #9678: linkcheck: file extension was shown twice in warnings Testing --------