compile_time_sysroot() have been copied in rustdoc#1622

robinmoussu wants to merge 1 commit into

rust-lang:masterrust-lang/miri:masterfrom

robinmoussu:masterrobinmoussu/miri:masterCopy head branch name to clipboard