Merge pull request #8995 from neheb/bot
authorRosen Penev <redacted>
Thu, 16 May 2019 01:51:11 +0000 (18:51 -0700)
committerGitHub <redacted>
Thu, 16 May 2019 01:51:11 +0000 (18:51 -0700)
botan: Do not build on ARC


Trivial merge
git clone https://git.99rst.org/PROJECT