Merge pull request #16889 from paper42/knot-3.1.2-21
authorJosef Schlehofer <pepe.schlehofer@gmail.com>
Fri, 15 Oct 2021 13:09:51 +0000 (15:09 +0200)
committerGitHub <noreply@github.com>
Fri, 15 Oct 2021 13:09:51 +0000 (15:09 +0200)
[21.02]: knot: update to 3.1.2


Trivial merge