Skip to content

rustdoc: update comment in search.js for #107629#115490

Merged
bors merged 1 commit intorust-lang:masterfrom
pitaj:rustdoc-searchjs-comment
Sep 3, 2023
Merged

rustdoc: update comment in search.js for #107629#115490
bors merged 1 commit intorust-lang:masterfrom
pitaj:rustdoc-searchjs-comment

Commits

Commits on Sep 3, 2023