bump gimli to 0.31 to avoid duplicate in rust-lang/rust#36
Merged
davidtwco merged 1 commit intorust-lang:mainfrom lqd:bump-gimliSep 6, 2024
+3-3
Commits
Commits on Sep 1, 2024
- committed
gimli to 0.31 to avoid duplicate in rust-lang/rust#36