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


Trivial merge