rustdoc: use <details> tag for the source code sidebar#98773
Merged
bors merged 5 commits intorust-lang:masterfrom Jul 4, 2022
Merged
rustdoc: use <details> tag for the source code sidebar#98773bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom