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

auto - dist-armv7-linux

succeeded Jul 23, 2024 in 1h 18m 28s