Micrometer/micrometer: Release v1.3.1

Name: micrometer

Owner: Micrometer

Release: v1.3.1

Released: 2019-11-04

License: Apache-2.0

Release Assets:

See the 1.3.1 milestone for included changes. Changes from the 1.1.8 milestone are also included in this release.