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


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