[PUSHED] Use clock_gettime instead of gettimeofday to have more preci...

[Norbert Thiebaud (via Code Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/3841

Approvals:
  Norbert Thiebaud: Verified; Looks good to me, approved


-- 
To view, visit https://gerrit.libreoffice.org/3841
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8e568368e7626789dee21d4823dbedec6257a231
Gerrit-PatchSet: 3
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Arnaud Versini <arnaud.versini at gmail.com>
Gerrit-Reviewer: Arnaud Versini <arnaud.versini at gmail.com>
Gerrit-Reviewer: Norbert Thiebaud <nthiebaud at gmail.com>