Skip to content

Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoe… #43429

Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoe…

Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoe… #43429

bors build finished

succeeded Mar 22, 2024 in 0s