Merge pull request #10403 from neheb/mi
authorRosen Penev <redacted>
Mon, 4 Nov 2019 19:27:18 +0000 (11:27 -0800)
committerGitHub <redacted>
Mon, 4 Nov 2019 19:27:18 +0000 (11:27 -0800)
mii-tool: Clean up Makefile


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