Bump bindgen from 0.71.1 to 0.72.1 in the rust-dependencies group#2

samuelburnham merged 2 commits intomainargumentcomputer/lean-ffi:mainfrom

dependabot-cargo-rust-dependencies-3af9ea5675argumentcomputer/lean-ffi:dependabot-cargo-rust-dependencies-3af9ea5675Copy head branch name to clipboard