GitLab

fileModificationSkew: now a floating-point number to support sub-second
specification.

Patch contributed by Mattijs Janssens