From 2963c638175e40d47ad78774cd8444e7c6c78e96 Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Tue, 27 Sep 2016 23:32:23 +0100
Subject: docs/gnulinux/encrypted_debian.html: s/runs/uses (less confusing
 language)

---
 docs/gnulinux/encrypted_debian.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs')

diff --git a/docs/gnulinux/encrypted_debian.html b/docs/gnulinux/encrypted_debian.html
index e7e9c773..e3a07bfe 100644
--- a/docs/gnulinux/encrypted_debian.html
+++ b/docs/gnulinux/encrypted_debian.html
@@ -17,7 +17,7 @@
             <p>
                 The libreboot project recommends Debian, because it is more stable and up to date,
                 while still being entirely free software by default. Leah Rowe, libreboot's
-                lead maintainer, also runs Debian. See:
+                lead maintainer, also uses Debian. See:
                 <a href="../distros/">../distros/</a>
             </p>
             <p>
-- 
cgit v1.2.3-70-g09d2