GitLab

Also change the display of the timestamps. When the timestamp has
millis, for example .500, .100, etc. only the millis are displayed.
Considering that they are displayed with a smaller font, it should make
more visible the timestamp showing the relevant second.
Reviewed-by: Thibault Saunier <tsaunier@gnome.org>
Differential Revision: https://phabricator.freedesktop.org/D561