From 8cd188ca73393e27154bfaaec4a20d84095132a8 Mon Sep 17 00:00:00 2001
From: arnebab <arne_bab@web.de>
Date: Tue, 14 Oct 2008 10:01:11 +0200
Subject: Who runs GNU really means: who runs it in a production environment,
 so I adapted the header question.

---
 Hurd/WhoRunsGNU.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Hurd')

diff --git a/Hurd/WhoRunsGNU.mdwn b/Hurd/WhoRunsGNU.mdwn
index 8ed24a91..ad1685b7 100644
--- a/Hurd/WhoRunsGNU.mdwn
+++ b/Hurd/WhoRunsGNU.mdwn
@@ -1,4 +1,4 @@
-## <a name="Who_runs_GNU_"> </a> Who runs GNU?
+## <a name="Who_runs_GNU_"> </a> Who runs GNU in production?
 
 On an official [GNU Project](http://www.gnu.org/gnu/thegnuproject.html) page I found a quote, attributed to Rabbi Hillel:
 
-- 
cgit v1.2.3