From 96b7ff1c9f02d805f754da02ccf6a9f0ff3b92c5 Mon Sep 17 00:00:00 2001
From: Austin Seipp <austin@well-typed.com>
Date: Fri, 19 Dec 2014 09:47:54 -0600
Subject: [PATCH] One _more_ documentation note.
Signed-off-by: Austin Seipp <austin@well-typed.com>
---
docs/users_guide/7.8.4-notes.xml | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/docs/users_guide/7.8.4-notes.xml b/docs/users_guide/7.8.4-notes.xml
index 376f795f4e7e..7aab9a50b5ee 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>
--
GitLab