when josh-proxy screws up the roundtrip, say what the involved commits are#17761

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:josh-roudntrip-error

Aug 1, 2024

+4-1

Commits on Aug 1, 2024

when josh-proxy screws up the roundtrip, say what the involved commits are
RalfJung
committed