Merge pull request #16077 from wodu/linuxptp_maint
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Fri, 9 Jul 2021 06:49:14 +0000 (08:49 +0200)
committerGitHub <noreply@github.com>
Fri, 9 Jul 2021 06:49:14 +0000 (08:49 +0200)
linuxptp: Upgrade to version 3.1.1


Trivial merge