diff --git a/CHANGES b/CHANGES index b8b42e51c..6b43b435f 100644 --- a/CHANGES +++ b/CHANGES @@ -70,6 +70,7 @@ Bugs fixed * #6925: html: Remove redundant type="text/javascript" from