Merge branch 'master' of github.com:SiriDB/siridb-server
authorJeroen van der Heijden <jeroen@cesbit.com>
Thu, 10 Mar 2022 13:19:44 +0000 (14:19 +0100)
committerJeroen van der Heijden <jeroen@cesbit.com>
Thu, 10 Mar 2022 13:19:44 +0000 (14:19 +0100)

Trivial merge