Merge pull request #13798 from TDT-AG/pr/20201018-extra-command-update
authorFlorian Eckert <fe@dev.tdt.de>
Wed, 4 Nov 2020 07:51:50 +0000 (08:51 +0100)
committerGitHub <noreply@github.com>
Wed, 4 Nov 2020 07:51:50 +0000 (08:51 +0100)
treewide: use new extra_command function for init


Trivial merge