diff --git a/docs/users_guide/7.8.4-notes.xml b/docs/users_guide/7.8.4-notes.xml
index 376f795f4e7eadbb4115459d4cbbfe1b671ffe02..7aab9a50b5ee06e3e22c7d72a4dbdeb483dc5454 100644
--- a/docs/users_guide/7.8.4-notes.xml
+++ b/docs/users_guide/7.8.4-notes.xml
@@ -146,6 +146,13 @@
             has been fixed (#9563).
           </para>
        </listitem>
+       <listitem>
+          <para>
+            A bug that caused type inference to infer the incorrect
+            type in the presence of certain type families and
+            constraints has been fixed (issue #9316).
+          </para>
+       </listitem>
     </itemizedlist>
   </sect2>
 </sect1>