Merge pull request #11510 from jefferyto/remove-shinit
authorRosen Penev <rosenp@gmail.com>
Thu, 5 Mar 2020 21:16:16 +0000 (13:16 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 21:16:16 +0000 (13:16 -0800)
shinit: Remove package


Trivial merge