Merge pull request #10159 from jefferyto/shinit
authorRosen Penev <rosenp@gmail.com>
Fri, 11 Oct 2019 19:45:25 +0000 (12:45 -0700)
committerGitHub <noreply@github.com>
Fri, 11 Oct 2019 19:45:25 +0000 (12:45 -0700)
commit28050c4c3ad1f0c7233b263a455e666d53f1417c
tree1397cce0a80ddfbbbd616a0ab897c5648a147671
parentbb6cdb804cc4db12cca776f559baa6d989a992ec
parentc04dff7965ed84bc57ea957ecad81fb902b7f146
Merge pull request #10159 from jefferyto/shinit

shinit: Add package