Add release note for OSS-Fuzz fixes

diff --git a/doc/arm/notes-9.11.23.xml b/doc/arm/notes-9.11.23.xml
index 76489727d14cf650c0bd1d40e046a71e4b8185dd..22252bd37dc92a09236c2a8c6460a344afccb3fc 100644 (file)
--- a/doc/arm/notes-9.11.23.xml
+++ b/doc/arm/notes-9.11.23.xml
@@ -62,6 +62,14 @@
           corrected. [GL #2074]
         </para>
       </listitem>
+      <listitem>
+        <para>
+          Several problems found by <link
+          xmlns:xlink="http://www.w3.org/1999/xlink"
+          xlink:href="https://github.com/google/oss-fuzz">OSS-Fuzz</link> were
+          fixed. (None of these are security issues.) [GL !3953] [GL !3975]
+        </para>
+      </listitem>
     </itemizedlist>
   </section>