Merge pull request #8700 from ja-pa/measurement-kit-0.10.1
authorJosef Schlehofer <redacted>
Wed, 17 Apr 2019 18:02:38 +0000 (20:02 +0200)
committerGitHub <redacted>
Wed, 17 Apr 2019 18:02:38 +0000 (20:02 +0200)
measurement-kit: update to version 0.10.1


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