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)
commit4e672a134e8f52e4979b6349c1638e2fe3277749
tree16ab90a6a00fccc65a3a9957c4ebabc9b0db499e
parent75a74f41e35442da4e316d6e2c32aac3cf541d19
parenteaa7aee2e302429df99f9da03782f03257a41913
Merge pull request #3305 from mhei/fix-mii-tool

mii-tool: fix build on buildbots (fixes #3263)