client_java 1.3.0 available

[Fabian Stäber]

Hello,

Today we published the Prometheus Java client library 1.3.0.

Headline feature is the new prometheus-metrics-exporter-pushgateway module. See https://prometheus.github.io/client_java/exporters/pushgateway/ for documentation.

• [FEATURE] Port PushGateway to client_java 1.x
• [ENHANCEMENT] Run HTTPServer as a Daemon Thread. Thanks @mberndt123.
• [BUGFIX] Fix naming issue in the Dropwizard 5 exporter. Thanks @kingster
• [BUGFIX] Allow metric names with single character
• [ENHANCEMENT] Fix flaky tests. Thanks @dhoard for extensively load testing our build.
• [ENHANCEMENT] Enforce unit suffix in metric name when unit is not null. Thanks @jonatan-ivanov
• [ENHANCEMENT] Explicit DuplicateLabelsException when creating MetricSnapshot

Thanks to everyone who contributed.

Fabian