13618014dd
Get the time in microseconds, instead of converting from milliseconds. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3190>