Micrometer/micrometer: Release v1.1.9

Name: micrometer

Owner: Micrometer

Release: v1.1.9

Released: 2019-12-03

License: Apache-2.0

Release Assets:

See the milestone for included issues in this release.