diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2021-08-15 13:58:32 +0000 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2021-08-15 13:58:32 +0000 |
| commit | 21337f626696182b68a8da2c1773784f5594027c (patch) | |
| tree | 67e9bb97112a3d2bf3a59e60da68e0dc6f1ae292 /.github | |
| parent | 6317934c7f314b7debf7df0a59d0e0228211b809 (diff) | |
Add a time budget of 100ms. If counting not complete by then, abort, and let the count be incomplete.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions