Fix whitespace in release notes

(cherry picked from commit b2f3eaf188b754ddef0b91644784831fb99d9f67)

diff --git a/doc/arm/notes-9.14.9.xml b/doc/arm/notes-9.14.9.xml
index ccbf1189ac6bbaea36264e9eca9d7670fc416461..9f3cde2b5f14b7dc3886fa5e880942d018b70563 100644 (file)
--- a/doc/arm/notes-9.14.9.xml
+++ b/doc/arm/notes-9.14.9.xml
@@ -21,8 +21,8 @@
       </listitem>
       <listitem>
         <para>
-          Fixed several possible race conditions discovered by Thread
-          Sanitizer.
+          Fixed several possible race conditions discovered by
+          ThreadSanitizer.
         </para>
       </listitem>
     </itemizedlist>