Micrometer/micrometer: Release v1.3.10

Name: micrometer

Owner: Micrometer

Release: v1.3.10

Released: 2020-06-23

License: Apache-2.0

Release Assets:

This patch release contains the changes from the 1.1.15 release as well as the 1.3.10 milestone.