Skip to content

Use gh-pages hosted rust doc while doc.rs docs are broken#8166

Merged
Wumpf merged 2 commits intomainfrom andreas/workaround-broken-docsrsNov 17, 2024