more specific registry index not found msg#12732

Merged

bors merged 1 commit intorust-lang:masterfrom tompscanlan:12576-registry-error-msg

Sep 25, 2023