Merge pull request #139 from SiriDB/timeval
authorJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 16 Sep 2020 13:52:36 +0000 (15:52 +0200)
committerGitHub <noreply@github.com>
Wed, 16 Sep 2020 13:52:36 +0000 (15:52 +0200)
Added timeval and interval functions, #138


Trivial merge