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


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