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


Trivial merge
git clone https://git.99rst.org/PROJECT