Skip to content

chore: upgrade bindgen-cli to 0.72.1#2

Merged
mkroening merged 1 commit intomainfrom
upgrade-bindgen
Feb 18, 2026
Merged

chore: upgrade bindgen-cli to 0.72.1#2
mkroening merged 1 commit intomainfrom
upgrade-bindgen

Conversation

@mkroening
Copy link
Member

No description provided.

@mkroening mkroening self-assigned this Feb 18, 2026
@mkroening mkroening merged commit bfc6b85 into main Feb 18, 2026
10 checks passed
@mkroening mkroening deleted the upgrade-bindgen branch February 18, 2026 16:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant