Skip to content

Conversation

jonatan-ivanov
Copy link
Member

See #5222

@jonatan-ivanov jonatan-ivanov added the doc-update A documentation update label Oct 30, 2024
@jonatan-ivanov jonatan-ivanov added this to the 1.14.0 GA milestone Oct 30, 2024
@shakuzen shakuzen merged commit e8bf831 into micrometer-metrics:main Oct 31, 2024
7 checks passed
@jonatan-ivanov jonatan-ivanov deleted the deadlock-metrics-docs branch October 31, 2024 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc-update A documentation update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants