elliottt edited PR #9191.
fitzgen submitted PR review.
fitzgen has enabled auto merge for PR #9191.
elliottt updated PR #9191.
cfallin submitted PR review:
for avoidance of doubt, an extra r+ for the
cargo vetupdate just now
fitzgen merged PR #9191.
Last updated: Jan 10 2026 at 02:36 UTC