Skip to content

Auto merge of #122662 - Mark-Simulacrum:optional-drop, r=oli-obk,bjorn3 #45292

Auto merge of #122662 - Mark-Simulacrum:optional-drop, r=oli-obk,bjorn3

Auto merge of #122662 - Mark-Simulacrum:optional-drop, r=oli-obk,bjorn3 #45292

auto - dist-riscv64-linux

succeeded May 5, 2024 in 42m 14s