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)
commitd1807cf57793fa500b22222a2987568a5804c66d
tree2dff05e7b6635bc4e756e4bca78d1e692fa4a014
parent83c40700a452a539849189793ae88d00b643500a
parent5ec47ca83707f4d15a7b67ed1ae77e827dc78946
Merge pull request #10941 from neheb/knot

knot: Do not try to build under ARC