Re: state of the pull autotester

[Trass3r]

btw, another improvement would be precise time information, i.e. incl. the  
time zone.
Also they should be consistent. It seems to me like  
http://d.puremagic.com/test-results/pulls.ghtml uses a different time than  
a single result like  
http://d.puremagic.com/test-results/pull.ghtml?runid=47221