Micrometer/micrometer: Release v1.5.7

Name: micrometer

Owner: Micrometer

Release: v1.5.7

Released: 2020-11-11

License: Apache-2.0

Release Assets:

This patch release contains the changes in the 1.5.7 milestone.