Merge pull request #13287 from neheb/core
authorRosen Penev <rosenp@gmail.com>
Fri, 4 Sep 2020 23:26:39 +0000 (16:26 -0700)
committerGitHub <noreply@github.com>
Fri, 4 Sep 2020 23:26:39 +0000 (16:26 -0700)
coreutils: switch to normal PKG_INSTALL


Trivial merge