alexcrichton opened PR #3759 from some-cleanups to main:
This is a follow-up of some minor nits that weren't worth blocking the original PR on, but seemed like nice-to-haves upon re-review.
alexcrichton updated PR #3759 from some-cleanups to main.
cfallin submitted PR review.
alexcrichton updated PR #3759 from some-cleanups to main.
alexcrichton merged PR #3759.
Last updated: Jan 09 2026 at 13:15 UTC