From a90da927b4c84d03608efbdaeb3c78750a700ec4 Mon Sep 17 00:00:00 2001
From: Joachim Breitner <mail@joachim-breitner.de>
Date: Thu, 13 Feb 2014 09:22:07 +0000
Subject: [PATCH] Link to #minimal-pragma from release notes

(cherry picked from commit 9f607eeb6227635a219b316926891e825557682c)
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
---
 docs/users_guide/7.8.1-notes.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/users_guide/7.8.1-notes.xml b/docs/users_guide/7.8.1-notes.xml
index c04a1291398d..c60bacf01997 100644
--- a/docs/users_guide/7.8.1-notes.xml
+++ b/docs/users_guide/7.8.1-notes.xml
@@ -291,6 +291,7 @@
                 explicitly declare the minimal complete definition of
                 a class. Should an instance not provide the minimal
                 required definitions, a warning will be emitted.
+                See <xref linkend="minimal-pragma"/> for details.
            </para>
        </listitem>
 
-- 
GitLab