Micrometer/micrometer: Release v1.0.2

Name: micrometer

Owner: Micrometer

Release: v1.0.2

Released: 2018-03-13

License: Apache-2.0

Release Assets:

Improvements

• Publish one last time on close for push-based systems.

Fixes

• Improve performance of TimeDecayingMax.rotate() for infrequently used timer dimensions.
• Make DoubleFormat independent of default locale.