Merge pull request #10819 from ja-pa/lmdb-fix-ar
authorRosen Penev <rosenp@gmail.com>
Wed, 18 Dec 2019 15:12:35 +0000 (07:12 -0800)
committerGitHub <noreply@github.com>
Wed, 18 Dec 2019 15:12:35 +0000 (07:12 -0800)
lmdb: use toolchain AR for compilation


Trivial merge