Merge branch 'master' of github.com:SiriDB/siridb-server into serviceapi
authorJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 15 Jan 2020 08:47:28 +0000 (09:47 +0100)
committerJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 15 Jan 2020 08:47:28 +0000 (09:47 +0100)

Trivial merge