Merge pull request #9543 from jefferyto/prometheus-fix-mips64-build
authorRosen Penev <redacted>
Thu, 25 Jul 2019 17:30:55 +0000 (10:30 -0700)
committerGitHub <redacted>
Thu, 25 Jul 2019 17:30:55 +0000 (10:30 -0700)
prometheus: Fix build for mips64/mips64el


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