Micrometer/micrometer: Release v1.1.16

Name: micrometer

Owner: Micrometer

Release: v1.1.16

Released: 2020-07-23

License: Apache-2.0

Release Assets:

See the 1.1.16 milestone for included changes in this patch release.