Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Polish 1c891c7 #5804

Merged
merged 1 commit into from
Jan 10, 2025
Merged

Polish 1c891c7 #5804

merged 1 commit into from
Jan 10, 2025

Conversation

izeye
Copy link
Contributor

@izeye izeye commented Jan 10, 2025

This PR applies the original changes from #5760 as it seems to have been missed in 1c891c7.

@jonatan-ivanov jonatan-ivanov merged commit 96f6e5d into micrometer-metrics:1.14.x Jan 10, 2025
7 checks passed
@jonatan-ivanov
Copy link
Member

Thank you!

@jonatan-ivanov jonatan-ivanov added the polish A general improvement (naming things, fixing minor issues, etc.) label Jan 10, 2025
@jonatan-ivanov jonatan-ivanov added this to the 1.14.3 milestone Jan 10, 2025
@izeye izeye deleted the gh-5760 branch January 10, 2025 04:32
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
polish A general improvement (naming things, fixing minor issues, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants