Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[db-manager] Increase precision when reporting query time
For consistency with the SQL dialog that used 3 decimal places
- Loading branch information