Merge pull request #2 from noahfalk/mike_installer_split
authorMike McLaughlin <mikem@microsoft.com>
Tue, 5 Feb 2019 17:55:46 +0000 (09:55 -0800)
committerGitHub <noreply@github.com>
Tue, 5 Feb 2019 17:55:46 +0000 (09:55 -0800)

Trivial merge