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


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