Micrometer/micrometer: Release v1.3.9

Name: micrometer

Owner: Micrometer

Release: v1.3.9

Released: 2020-05-08

License: Apache-2.0

Release Assets:

This patch release contains the changes in the 1.1.14 release and the 1.3.9 milestone.