Merge pull request #16590 from Payne-X6/master
authorRosen Penev <rosenp@gmail.com>
Thu, 9 Sep 2021 14:16:13 +0000 (07:16 -0700)
committerGitHub <noreply@github.com>
Thu, 9 Sep 2021 14:16:13 +0000 (07:16 -0700)
knot: update to version 3.1.2


Trivial merge