Micrometer/micrometer: Release v1.3.5

Name: micrometer

Owner: Micrometer

Release: v1.3.5

Released: 2020-02-11

License: Apache-2.0

Release Assets:

See the 1.3.5 milestone for included changes.