Skip to content

Auto merge of #127931 - GuillaumeGomez:switch-to-rinja, r=notriddle #48267

Auto merge of #127931 - GuillaumeGomez:switch-to-rinja, r=notriddle

Auto merge of #127931 - GuillaumeGomez:switch-to-rinja, r=notriddle #48267

bors build finished

succeeded Jul 23, 2024 in 11s