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

Minor improvements to the Metrics API spec wording #1986

Merged

Conversation

reyang
Copy link
Member

@reyang reyang commented Oct 4, 2021

Fixes #1715.

@reyang reyang requested review from a team October 4, 2021 17:38
@reyang reyang added area:api Cross language API specification issue spec:metrics Related to the specification/metrics directory labels Oct 4, 2021
@reyang reyang added this to the Metrics API/SDK Stable Release milestone Oct 4, 2021
@SergeyKanzhelev
Copy link
Member

uncontroversial, let's merge

@SergeyKanzhelev SergeyKanzhelev merged commit e30aa7d into open-telemetry:main Oct 4, 2021
@reyang reyang deleted the reyang/metrics-api-wording branch October 5, 2021 03:11
carlosalberto pushed a commit to carlosalberto/opentelemetry-specification that referenced this pull request Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:api Cross language API specification issue spec:metrics Related to the specification/metrics directory
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Follow up on PR #1703 comment
3 participants