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)
commit5e86f0d94cddfb41beb9383cbf805171411569bf
tree77e4f3b0554f89b2437de078f5a7724c8b8e6e7e
parentdd356ed900aafb4ad0471c3678b5efa9eff8b77e
parenta4267bd6e329a876d8a0927db93a20ff12f0fcf4
Merge pull request #13798 from TDT-AG/pr/20201018-extra-command-update

treewide: use new extra_command function for init