[tor-commits] [webwml/master] Mike doesn't run a dirauth anymore

[sebastian at torproject.org]

commit bf4ebed0fa01b685b5402e016ac9e90c42bccfd0
Author: Sebastian Hahn <sebastian at torproject.org>
Date:   Thu Jul 7 00:10:23 2016 +0200

    Mike doesn't run a dirauth anymore
---
 about/en/corepeople.wml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/about/en/corepeople.wml b/about/en/corepeople.wml
index 015c23b..244b284 100644
--- a/about/en/corepeople.wml
+++ b/about/en/corepeople.wml
@@ -277,8 +277,7 @@
           <dt>Mike Perry, Tor Browser and Tor Performance
           Developer</dt> <dd>Lead developer on Tor Browser, developer
           of <a href="<page docs/torbutton/index>">Torbutton</a>, author of <a
-          href="https://gitweb.torproject.org/torflow.git/tree/README">TorFlow</a>.
-          Runs one of the directory authorities.</dd>
+          href="https://gitweb.torproject.org/torflow.git/tree/README">TorFlow</a>.</dd>
 
           <dt>Fabio Pietrosanti, Advocate and Developer</dt>
           <dd>Originally involved with Tor2Web, and is now our connection