[release-notes/gnome-3-12] Wayland: Change Linux to GNU/Linux

[Juan Jose Marin Martinez <jjmarin src gnome org>]

commit c83d83c95a1e9d6f4c83920e8f242e1581a00e36
Author: Juanjo Marín <juanj marin juntadeandalucia es>
Date:   Tue Mar 18 23:52:42 2014 +0100

    Wayland: Change Linux to GNU/Linux

 help/C/more-core-ux.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/more-core-ux.page b/help/C/more-core-ux.page
index 99e5400..04865bb 100644
--- a/help/C/more-core-ux.page
+++ b/help/C/more-core-ux.page
@@ -55,7 +55,7 @@
   <section id="wayland">
     <title>A Big Step Towards Wayland</title>
     <media type="image" src="figures/wayland.png" style="floatright" />
-    <p><app>Wayland</app> is the next generation technology for display and input on Linux. It will deliver 
improved graphics and overcome limitations of existing display technologies. It will also lay the basis for 
more secure applications.</p>
+    <p><app>Wayland</app> is the next generation technology for display and input on GNU/Linux. It will 
deliver improved graphics and overcome limitations of existing display technologies. It will also lay the 
basis for more secure applications.</p>
     <p>Initial experimental <app>Wayland</app> support was introduced in 3.10. Since then, a huge amount of 
progress has been made. New functionality has been added for logging in and input handling, and stability and 
compatibility with older <app>X11</app> applications have been improved.</p>
     <p>If you are a developer or early adopter, you can test the latest <app>Wayland</app> work: see the 
<link type="topic" xref="developers#wayland">developer notes</link> for more details. Continued progress on 
the road to <app>Wayland</app> is planned for the next GNOME release.</p>
   </section>