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)
commitf5d73bd23c97a18ae0fd4c3a081da9d683276381
tree20bff8161488f8bab2402a5e54abc09402f17b7b
parenteac6462bb2455f6ed93777b7849c2712039b6a12
parent79b1942116e44273ce399f4be0bb1a68f6b43922
Merge pull request #9543 from jefferyto/prometheus-fix-mips64-build

prometheus: Fix build for mips64/mips64el