Merge pull request #8995 from neheb/bot
authorRosen Penev <rosenp@gmail.com>
Thu, 16 May 2019 01:51:11 +0000 (18:51 -0700)
committerGitHub <noreply@github.com>
Thu, 16 May 2019 01:51:11 +0000 (18:51 -0700)
commitaf0c91c3b6533a56fd6cf7133eecf0b7dfe3530f
tree05ae142f17b60ce807ecef4bb507a0e5ba780d57
parent762778b36e4f4827162ff8b58992a794eb1404b7
parenta4df3a3ec13e17d3255db358793f7e368bee34e3
Merge pull request #8995 from neheb/bot

botan: Do not build on ARC