Skip to content

Auto merge of #118534 - RalfJung:extern-type-size-of-val, r=WaffleLapkin #39304

Auto merge of #118534 - RalfJung:extern-type-size-of-val, r=WaffleLapkin

Auto merge of #118534 - RalfJung:extern-type-size-of-val, r=WaffleLapkin #39304

The logs for this run have expired and are no longer available.