mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-03 17:35:28 +03:00
0208fca342
This ensures that these names resolve to the right place even when building the WASI support on other platforms for generating the documentation.