-
Simon Marlow authored
The help text for the -i profiling option was wrong: it claimed the argument was in milliseconds rather than seconds. MERGE TO STABLE
aa4062bb
The help text for the -i profiling option was wrong: it claimed the argument was in milliseconds rather than seconds. MERGE TO STABLE