Merge branch 'master' of github.com:SiriDB/siridb-server
authorJeroen van der Heijden <jeroen@cesbit.com>
Mon, 27 Dec 2021 20:32:26 +0000 (21:32 +0100)
committerJeroen van der Heijden <jeroen@cesbit.com>
Mon, 27 Dec 2021 20:32:26 +0000 (21:32 +0100)

Trivial merge