Merge pull request #7126 from tobiasd/20190510-fixadminpanel
authorMichael Vogel <icarus@dabo.de>
Fri, 10 May 2019 09:23:58 +0000 (11:23 +0200)
committerGitHub <noreply@github.com>
Fri, 10 May 2019 09:23:58 +0000 (11:23 +0200)
make the addon listing in the admin panel aside working again


Trivial merge