[Bug 66702] Split the running time limit into a soft limit and a hard limit

https://bugzilla.wikimedia.org/show_bug.cgi?id=66702 Liangent liang...@gmail.com changed: What|Removed |Added See Also|

[Bug 66702] Split the running time limit into a soft limit and a hard limit

https://bugzilla.wikimedia.org/show_bug.cgi?id=66702 Sam Reed (reedy) s...@reedyboy.net changed: What|Removed |Added Severity|normal |enhancement --