notify Miri when intrinsics are changed#130228

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:intrinsics-notifyRalfJung/rust:intrinsics-notifyCopy head branch name to clipboard