Merge pull request #10677 from ja-pa/measurement-kit-update
authorRosen Penev <redacted>
Mon, 2 Dec 2019 21:27:59 +0000 (13:27 -0800)
committerGitHub <redacted>
Mon, 2 Dec 2019 21:27:59 +0000 (13:27 -0800)
measurement-kit: add InstallDev section


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