Skip to content

Auto merge of #126834 - bjorn3:interface_refactor, r=michaelwoerister #47065

Auto merge of #126834 - bjorn3:interface_refactor, r=michaelwoerister

Auto merge of #126834 - bjorn3:interface_refactor, r=michaelwoerister #47065

bors build finished

succeeded Jun 25, 2024 in 14s