Alessandro Pasotti 96b903e1f3 [db-manager] Increase precision when reporting query time
For consistency with the SQL dialog that used 3 decimal places
2018-10-03 14:48:04 +02:00
..
2018-06-30 15:43:31 +07:00
2017-03-04 02:38:15 +01:00