Merge pull request #9155 from MrPetovan/bug/9154-forbid-bin
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 7 Sep 2020 11:01:10 +0000 (13:01 +0200)
committerGitHub <noreply@github.com>
Mon, 7 Sep 2020 11:01:10 +0000 (13:01 +0200)
Forbid non-CLI access to command-line scripts


Trivial merge