Micrometer/micrometer: Release v1.1.17

Name: micrometer

Owner: Micrometer

Release: v1.1.17

Released: 2020-08-13

License: Apache-2.0

Release Assets:

This is a patch release containing the changes included in the 1.1.17 milestone.