Merge pull request #3305 from mhei/fix-mii-tool
authorHannu Nyman <hannu.nyman@iki.fi>
Thu, 6 Oct 2016 07:23:39 +0000 (10:23 +0300)
committerGitHub <noreply@github.com>
Thu, 6 Oct 2016 07:23:39 +0000 (10:23 +0300)
mii-tool: fix build on buildbots (fixes #3263)


Trivial merge