--- timeval.c.DIST	Fri Jun 28 12:41:21 1996
+++ timeval.c	Mon Mar 30 19:58:50 1998
@@ -102,6 +102,13 @@
   r.t.tv_sec = atoi(s);
   while (isdigit(*s)) s++;
 
+  while  (*s == ':') {
+    s++;
+    r.t.tv_sec *= 60;
+    r.t.tv_sec += atoi(s);
+    while (isdigit(*s)) s++;
+  }
+
   if (*s == '.') {
     s++;
     r.t.tv_usec = atoi(s);