Merge pull request #8080 from annando/inflated-widgets
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 9 Jan 2020 07:01:53 +0000 (08:01 +0100)
committerGitHub <noreply@github.com>
Thu, 9 Jan 2020 07:01:53 +0000 (08:01 +0100)
The widgets in the sidebar are now deflated by standard


Trivial merge