Merge pull request #9576 from MrPetovan/bug/9573-addon-install
authorMichael Vogel <icarus@dabo.de>
Sun, 22 Nov 2020 06:56:16 +0000 (07:56 +0100)
committerGitHub <noreply@github.com>
Sun, 22 Nov 2020 06:56:16 +0000 (07:56 +0100)
Don't assume addons must have an *_install function


Trivial merge