On Thursday, 31 October 2013 at 02:40:51 UTC, safety0ff wrote:
I just noticed this (look at the running time in parentheses at the top): http://d.puremagic.com/test-results/test_data.ghtml?projectid=1&runid=53165&logid=1The script should probably have a timeout, thought somebody should know.
Nobody?
