Skip to content

Polish 1c891c7#5804

Merged
jonatan-ivanov merged 1 commit intomicrometer-metrics:1.14.xfrom
izeye:gh-5760
Jan 10, 2025
Merged

Polish 1c891c7#5804
jonatan-ivanov merged 1 commit intomicrometer-metrics:1.14.xfrom
izeye:gh-5760

Conversation

@izeye
Copy link
Copy Markdown
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
@jonatan-ivanov
Copy link
Copy Markdown
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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