Merge pull request #10941 from neheb/knot
authorRosen Penev <rosenp@gmail.com>
Wed, 8 Jan 2020 23:53:03 +0000 (15:53 -0800)
committerGitHub <noreply@github.com>
Wed, 8 Jan 2020 23:53:03 +0000 (15:53 -0800)
knot: Do not try to build under ARC


Trivial merge