Add release note for #1808

(cherry picked from commit 5a9f594629557eef74f89bfbaaaffe5b22a20c8e)

diff --git a/doc/arm/notes-9.11.20.xml b/doc/arm/notes-9.11.20.xml
index d3453c3458209e22fc29f83eeb743ae0c2c2f688..6b194c2f8e57bab42d11fb31275d26719eb7af56 100644 (file)
--- a/doc/arm/notes-9.11.20.xml
+++ b/doc/arm/notes-9.11.20.xml
@@ -47,7 +47,8 @@
     <itemizedlist>
       <listitem>
         <para>
-          None.
+         Fix a data race in resolver.c:formerr() that could lead to assertion
+         failure. [GL #1808]
         </para>
       </listitem>
     </itemizedlist>