Skip to content

Auto merge of #124209 - Urgau:check-cfg-more-friendly-docs, r=ehuss #45344

Auto merge of #124209 - Urgau:check-cfg-more-friendly-docs, r=ehuss

Auto merge of #124209 - Urgau:check-cfg-more-friendly-docs, r=ehuss #45344

bors build finished

succeeded May 6, 2024 in 10s