Wed Aug 24 00:08:54 UTC 2005  Alberto Bertogli <albertogli@telpin.com.ar>
  * Fix RSS title timestamp.
diff -rN -u old-darcsweb/darcsweb.cgi new-darcsweb/darcsweb.cgi
--- old-darcsweb/darcsweb.cgi	2015-10-27 15:55:26.000000000 +0000
+++ new-darcsweb/darcsweb.cgi	2015-10-27 15:55:27.000000000 +0000
@@ -1191,7 +1191,7 @@
 
 	ps = get_last_patches(20)
 	for p in ps:
-		title = time.strftime('%d %b %H:%S', time.localtime(p.date))
+		title = time.strftime('%d %b %H:%M', time.localtime(p.date))
 		title += ' - ' + p.name
 		pdate = time.strftime("%a, %d %b %Y %H:%M:%S +0000",
 				time.localtime(p.date))