]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #841 from facebook/utilTimeAPI
authorYann Collet <Cyan4973@users.noreply.github.com>
Wed, 13 Sep 2017 18:41:01 +0000 (11:41 -0700)
committerGitHub <noreply@github.com>
Wed, 13 Sep 2017 18:41:01 +0000 (11:41 -0700)
modified util::time API (T19505791)


Trivial merge