Skip to content

Bump opentelemetry-otlp from 0.11.0 to 0.12.0 in /lean#88

Closed
dependabot[bot] wants to merge 1 commit intomainfrom dependabot/cargo/lean/opentelemetry-otlp-0.12.0

Commits

Commits on Apr 24, 2023