Commit 9f388e9f9eee19e5d606fb9bf5a84f6fa875ce71

Patrick Steinhardt 2019-02-20T10:51:33

Merge pull request #4990 from libgit2/remove_time_monotonic Remove `git_time_monotonic`