Merge pull request #11697 from neheb/port
authorRosen Penev <rosenp@gmail.com>
Thu, 2 Apr 2020 23:13:30 +0000 (16:13 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 23:13:30 +0000 (16:13 -0700)
port-mirroring: fix compilation under newer musl


Trivial merge