Changes to grep/devel.html

[Charles Levert]

Index: grep/devel.html
diff -u grep/devel.html:1.2 grep/devel.html:1.3
--- grep/devel.html:1.2 Sat Jun  4 19:30:23 2005
+++ grep/devel.html     Thu Jun  9 21:34:42 2005
@@ -315,7 +315,7 @@
 </pre
     ><p
       >(The <tt>grep-commit</tt> mailing list functionality for this tree
-       does not seem to be working at this time.)<p
+       should now work thanks to Savannah sr #103962.)<p
 
     ><h3
       >4.3&nbsp; Tools</h3
@@ -1491,7 +1491,7 @@
          provided this notice and the copyright notice are preserved.</p
       ><p
         >Updated: <tt
-          >$Date: 2005/06/04 19:30:23 $</tt
+          >$Date: 2005/06/09 21:34:42 $</tt
         > (UTC) by <tt
           >$Author: charles_levert $</tt
         > (at <tt>savannah.gnu.org</tt>)</p