Wed Aug 24 00:08:54 UTC 2005 Alberto Bertogli <albertogli@telpin.com.ar>

* Fix RSS title timestamp.

--- old-darcsweb/darcsweb.cgi 2015-10-22 06:30:47.000000000 +0000

+++ new-darcsweb/darcsweb.cgi 2015-10-22 06:30:47.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))