Get rid of all decimal-time values in the diff headers,

not just an all-zero value.

diff --git a/verify-patches b/verify-patches
index d4d2fcc..8245bdf 100755 (executable)
--- a/verify-patches
+++ b/verify-patches
@@ -241,7 +241,7 @@ sub generate_new_patch
        next if /^(diff -|Index: |Only in )/;
        s#^\Q--- cvsdir/\E#--- orig/#;
        s#^\Q+++ workdir/\E#+++ #;
-       s#(\.000000000)? \+0000$##;
+       s#(\d\d\d\d-\d\d-\d\d \d\d:\d\d:\d\d)(\.\d\d\d\d\d\d\d\d\d)? \+0000$#$1#;
        print OUT $_;
     }
     close IN;