Merge pull request #12298 from pffmachado/issue-linuxptp
authorRosen Penev <rosenp@gmail.com>
Tue, 26 May 2020 17:17:24 +0000 (10:17 -0700)
committerGitHub <noreply@github.com>
Tue, 26 May 2020 17:17:24 +0000 (10:17 -0700)
linuxptp: fix build failure


Trivial merge