Merge pull request #9754 from annando/delete-sleeping-processes
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 7 Jan 2021 08:12:00 +0000 (09:12 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Jan 2021 08:12:00 +0000 (09:12 +0100)
Delete sleeping database processes


Trivial merge