From: Dan Mick Date: Tue, 10 Oct 2017 17:38:49 +0000 (-0700) Subject: Merge pull request #18208 from jan--f/mgr-prometheus-fix-undef-metrics X-Git-Tag: v13.0.1~619 X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=6309b818047bbd75a989266cd1d972ff533ab98b;p=ceph-ci.git Merge pull request #18208 from jan--f/mgr-prometheus-fix-undef-metrics pybind/mgr/prometheus: fix metric type undef -> untyped Reviewed-by: Dan Mick Reviewed-by: John Spray --- 6309b818047bbd75a989266cd1d972ff533ab98b