Skip to content

Bump tonic from 0.10.2 to 0.11.0 in /lean#193

Open
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/cargo/lean/tonic-0.11.0
Open

Bump tonic from 0.10.2 to 0.11.0 in /lean#193
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/cargo/lean/tonic-0.11.0

Commits

Commits on Mar 1, 2024