Merge pull request #13526 from wodu/linuxptp_maint
authorJosef Schlehofer <redacted>
Tue, 29 Sep 2020 16:14:51 +0000 (18:14 +0200)
committerGitHub <redacted>
Tue, 29 Sep 2020 16:14:51 +0000 (18:14 +0200)
linuxptp: Upgrade to v3.1


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