Merge pull request #9156 from annando/issue-9153
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 7 Sep 2020 10:57:10 +0000 (12:57 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Sep 2020 10:57:10 +0000 (12:57 +0200)
Issue 9153 Use "info" instead of "notice" on successful operations


Trivial merge