Open Maiort opened 6 years ago
only had a precision of 2 digits for the time_stamp -> now 9
Can one of the admins verify this patch?
Any reason to not merge this?
@ffurrer ptal
only had a precision of 2 digits for the time_stamp -> now 9