Merge pull request #8385 from ja-pa/measurement-kit-0.9.4
authorHannu Nyman <redacted>
Mon, 11 Mar 2019 20:40:08 +0000 (22:40 +0200)
committerGitHub <redacted>
Mon, 11 Mar 2019 20:40:08 +0000 (22:40 +0200)
measurement-kit: update to version 0.9.4


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