diff options
author | 2018-04-26 13:33:24 -0400 | |
---|---|---|
committer | 2018-04-26 13:33:24 -0400 | |
commit | 87ee862cd71da024606798dd7e352daa02414d43 (patch) | |
tree | fb1dde844ae6c8d5e7e275d52d9e7366135ad63e /plugins/setoid_ring | |
parent | 83c3ee8659f1cee68909570fbf581a0e03233af7 (diff) |
[ci] Fix another issue with the timing tests
There was recently a spurious failure on AppVeyor (I've forgotten which
PR). This commit fixes that particular failure.
Diffstat (limited to 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions