summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArne Babenhauserheide <arne_bab@web.de>2011-07-22 16:56:58 +0200
committerArne Babenhauserheide <arne_bab@web.de>2011-07-22 16:56:58 +0200
commitd8bddde8e807591f2b45d5d084a50bffa6a7daad (patch)
tree16158dfc5448354b5f1a28d6af31a205b6d3dfdc
parent68b9ef4e6a7e70beb04e0caf101a8792074af4ed (diff)
news: shortened happy Linux user.
-rw-r--r--news/2011-q2-ps.mdwn5
1 files changed, 1 insertions, 4 deletions
diff --git a/news/2011-q2-ps.mdwn b/news/2011-q2-ps.mdwn
index 61c2bd86..cbf039b0 100644
--- a/news/2011-q2-ps.mdwn
+++ b/news/2011-q2-ps.mdwn
@@ -37,10 +37,7 @@ In the following, we try to clear the situation up a bit.
**Wrong**. All of us are happy users of the Linux kernel, every
day, and GNU/Linux is the free operating system of choice, which
we're using ourselves (unless sitting in front of a GNU/Hurd
- system). We admire the level of stability and performance Linux
- reached and we are awed by how Linus manages to coordinate about a
- thousand contributors without enforced control. We work on the
- Hurd instead of Linux because of the
+ system). We work on the Hurd instead of Linux because of the
[[additional capabilities and clean design|advantages]] it
provides.