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)
commit47354e54fcbb03a5644bc4cb0fad89426ce8b1b5
tree655abe88d974d3ae3e7e1bd214ea629646b2468d
parent6cbf42560a59308d5de100e9b199568523ee737f
parentfa3189b65f4d818fd9d1f9546cbc139c1ea39060
Merge pull request #11510 from jefferyto/remove-shinit

shinit: Remove package