Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Polish gh-3679 #3695

Merged
merged 1 commit into from
Mar 13, 2023
Merged

Polish gh-3679 #3695

merged 1 commit into from
Mar 13, 2023

Conversation

izeye
Copy link
Contributor

@izeye izeye commented Mar 11, 2023

This PR polishes the changes from gh-3679 a bit.

See gh-3679

@shakuzen shakuzen added polish A general improvement (naming things, fixing minor issues, etc.) module: micrometer-observation-test labels Mar 13, 2023
@shakuzen shakuzen added this to the 1.11.0-M2 milestone Mar 13, 2023
@shakuzen shakuzen merged commit 05be1d2 into micrometer-metrics:main Mar 13, 2023
@izeye izeye deleted the polish-gh-3679 branch March 13, 2023 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
module: micrometer-observation-test 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