Changes to grep/grep.html,v

[Paul Eggert]

CVSROOT:        /web/grep
Module name:    grep
Changes by:     Paul Eggert <eggert>    14/05/11 05:28:38

Index: grep.html
===================================================================
RCS file: /web/grep/grep/grep.html,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -b -r1.24 -r1.25
--- grep.html   11 May 2014 05:22:37 -0000      1.24
+++ grep.html   11 May 2014 05:28:37 -0000      1.25
@@ -133,22 +133,21 @@
 <dd>Trying the latest test release (when available) is always
 appreciated.  Test releases of
 Grep
-are typically announced on the platform-testers <a
+are typically announced on the <a
 
href="https://lists.gnu.org/mailman/listinfo/platform-testers";>platform-testers</a>
 mailing list.</dd>
 
 
 <dt>Development</dt>
 
-<dd>For development sources, issue trackers, and other
+<dd><a href="devel.html">Information for GNU grep developers</a>
+is a comprehensive source for all development-related matters.
+For development sources and other
 information, please see the
 <a href="http://savannah.gnu.org/projects/grep/";>Grep
 project page</a>
 at <a href="http://savannah.gnu.org";>savannah.gnu.org</a>.</dd>
 
-<p><a href="devel.html">Information for GNU grep developers</a>
-is a comprehensive source for all development-related matters.</p>
-
 
 <dt>Translating
   Grep</dt>
@@ -245,7 +244,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2014/05/11 05:22:37 $
+$Date: 2014/05/11 05:28:37 $
 <!-- timestamp end -->
 </p>
 </div>