MySQL Bugs: #86135: An extra digit for runtime timing (contribution)

Bug #86135	An extra digit for runtime timing (contribution)
Submitted:	28 Apr 2017 16:16	Modified:	28 Mar 2018 7:32
Reporter:	OCA Admin (OCA)	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Server: Document Store: MySQL Shell	Severity:	S3 (Non-critical)
Version:		OS:	Any
Assigned to:		CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Contributions can be accepted to Open bugs only.

Contribution submitted via Github - An extra digit for runtime timing (*) Contribution by Daniël van Eeden (Github dveeden, mysql-shell/pull/1#issuecomment-297881085): I confirm the code being submitted is offered under the terms of the OCA, and that I am authorized to contribute it.

Attachment: git_patch_117806295.txt (text/plain), 1.03 KiB.