Merge pull request #9083 from annando/persistent
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 27 Aug 2020 11:11:45 +0000 (13:11 +0200)
committerGitHub <noreply@github.com>
Thu, 27 Aug 2020 11:11:45 +0000 (13:11 +0200)
Configuration if the database is opened with persistent connections


Trivial merge