; * etc/NEWS: Restore reference to Linux kernel.

(cherry picked from commit 03a791556af3b3683921799cce6df2f5ec81c1e7)

diff --git a/etc/NEWS b/etc/NEWS
index 100c13bf01c824ef9f740d5c0cf37473b4726ffa..926f8e2086c416a57389b1f0f7a1d160df59e0c6 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -268,7 +268,7 @@ specify "+0000" or "Z" as the time zone in the argument.
 ** Process execution has been optimized on Android.
 The run-time performance of subprocesses on recent Android releases,
 where a userspace executable loader is required, has been optimized on
-systems featuring GNU/Linux 3.5.0 and above.
+systems featuring Linux 3.5.0 and above.
 
 \f
 ----------------------------------------------------------------------