www/people people.html

[Yavor Doganov]

CVSROOT:        /web/www
Module name:    www
Changes by:     Yavor Doganov <yavor>   07/04/03 20:12:00

Modified files:
        people         : people.html 

Log message:
        Updated info about Christian Grothoff (Closes: RT #333171).

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/people/people.html?cvsroot=www&r1=1.185&r2=1.186

Patches:
Index: people.html
===================================================================
RCS file: /web/www/www/people/people.html,v
retrieving revision 1.185
retrieving revision 1.186
diff -u -b -r1.185 -r1.186
--- people.html 28 Mar 2007 22:18:54 -0000      1.185
+++ people.html 3 Apr 2007 20:11:56 -0000       1.186
@@ -331,8 +331,9 @@
             <dd>
                 Is the principal author maintainer of 
                 <a href="http://www.gnu.org/software/gnunet/";>GNUnet</a> and 
-                <a 
href="http://www.gnu.org/software/libextractor/";>libextractor</a>.  He 
currently 
-                works on his Ph.D. in Computer Science.
+                <a 
href="http://www.gnu.org/software/libextractor/";>libextractor</a>.
+                He works as an Assistant Professor at the University
+                of Denver.
             </dd>
 
         <dt><a href="http://www.ufoot.org";>Christian Mauduit</a></dt>
@@ -1553,14 +1554,13 @@
       <p>
          Updated:
          <!-- timestamp start -->
-         $Date: 2007/03/28 22:18:54 $
+         $Date: 2007/04/03 20:11:56 $
          <!-- timestamp end -->
       </p>
    </div>
    <div id="translations">
    <h3>Translations of this page:</h3>
     <!-- Please keep this list alphabetical -->
-    <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
 <ul class="translations-list">
 <!-- Bosnian -->
 <li><a href="/people/people.bs.html">Bosanski</a>&nbsp;[bs]</li>
@@ -1574,7 +1574,6 @@
 <li><a href="/people/people.pt.html">Portuguese</a>&nbsp;[pt]</li>
 </ul>
     <!-- Please keep this list alphabetical -->
-    <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
 </div>
    </div>
 </body>