Skip to content

Bump serde from 1.0.193 to 1.0.196 in /lean#171

Merged
MarcusDunn merged 1 commit intomainfrom dependabot/cargo/lean/serde-1.0.196Feb 1, 2024

Commits

Commits on Feb 1, 2024