Merge pull request #9902 from neheb/mosh5
authorRosen Penev <rosenp@gmail.com>
Tue, 3 Sep 2019 19:24:54 +0000 (12:24 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Sep 2019 19:24:54 +0000 (12:24 -0700)
mosh: add package


Trivial merge