diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/min-tool-version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/min-tool-version.sh b/scripts/min-tool-version.sh index a270ec761f64..b96ec2d379b6 100755 --- a/scripts/min-tool-version.sh +++ b/scripts/min-tool-version.sh @@ -34,7 +34,7 @@ rustc) echo 1.85.0 ;; bindgen) - echo 0.65.1 + echo 0.71.1 ;; *) echo "$1: unknown tool" >&2 |