Micrometer/micrometer: Release v1.1.13

Name: micrometer

Owner: Micrometer

Release: v1.1.13

Released: 2020-04-24

License: Apache-2.0

Release Assets:

See the 1.1.13 milestone for the included changes.

Deprecations

• #1955 PushRegistryConfig.numThreads() has been deprecated - it was never used.