Merge branch 'master' of github.com:SiriDB/siridb-server into evars
authorJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 21 Apr 2020 11:15:14 +0000 (13:15 +0200)
committerJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 21 Apr 2020 11:15:14 +0000 (13:15 +0200)

Trivial merge