Merge pull request #13060 from wodu/linuxptp_maint
authorRosen Penev <rosenp@gmail.com>
Mon, 10 Aug 2020 19:25:05 +0000 (12:25 -0700)
committerGitHub <noreply@github.com>
Mon, 10 Aug 2020 19:25:05 +0000 (12:25 -0700)
linuxptp: Update to version 3.0


Trivial merge