Merge pull request #5438 from MrPetovan/task/5410-remove-dbm-class
authorMichael Vogel <icarus@dabo.de>
Mon, 23 Jul 2018 19:05:32 +0000 (21:05 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Jul 2018 19:05:32 +0000 (21:05 +0200)
Move DBA to src/ part 3.2: Remove DBM class


Trivial merge