Merge pull request #433 from annando/dba-things
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 12 Oct 2017 21:37:27 +0000 (23:37 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Oct 2017 21:37:27 +0000 (23:37 +0200)
Additional work for PR 3778


Trivial merge