Closed peterallenwebb closed 4 weeks ago
Thank you for your pull request! We could not find a changelog entry for this change. For details on how to document a change, see the contributing guide.
Thank you for your pull request! We could not find a changelog entry for this change. For details on how to document a change, see the contributing guide.
Problem
Previous revisions limited the precision of query time measurements to whole seconds, which is too coarse.
Solution
Record the measurements at full precision, and limit logged values to three decimal places (i.e. millisecond precision) for readability.
Checklist