Merge pull request #298 from patrickmarlier/issue202
Fix a case where the usertime calculation can overflow (see issue #202)
Showing
+7 -5
Please register or sign in to comment
Fix a case where the usertime calculation can overflow (see issue #202)