Improve CVS log grouping.

diff --git a/src/tools/pgcvslog b/src/tools/pgcvslog
index 35191cd8cf29b4a7f8ac4fbddba75031dabbac2a..6a2c8411a00a0f48dced45e0d8e8f6cb637e5ed2 100755 (executable)
--- a/src/tools/pgcvslog
+++ b/src/tools/pgcvslog
@@ -56,7 +56,7 @@ awk ' BEGIN   {html="'"$HTML"'"; lineno = 0;}
        }
 
        # if we have a saved datetime, print filename, date line, and committer
-       datetime != "" {printf ("%s| %10d| %s\n", datetime, lineno++, $0);}
+       datetime != "" && $1 != "branches:" {printf ("%s| %10d| %s\n", datetime, lineno++, $0);}
 
        $1 == "date:" \
        {