be less fussy about line endings

scripts/check_series.sh

@@ -30,13 +30,13 @@ do
       ERRORS=`expr $ERRORS + 1`
       echo $i appears $COUNT times in series
     fi
-    if head -1 $i | grep -v '^# HG changeset patch$' >/dev/null
+    if head -1 $i | grep -v '^# HG changeset patch' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i
       continue
     fi
-    if ! head -2 $i | grep '^# User .*[@<]' >/dev/null
+    if ! head -2 $i | grep '^# User ' >/dev/null
     then
       ERRORS=`expr $ERRORS + 1`
       echo bad hg header in $i