Merge branch 'dropdb' of github.com:SiriDB/siridb-server into dropdb
authorJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 8 Jan 2019 12:26:50 +0000 (13:26 +0100)
committerJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 8 Jan 2019 12:26:50 +0000 (13:26 +0100)

Trivial merge