Skip to content

rustdoc-search: fix a race condition in search index loading#118961

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/varconst
Dec 15, 2023
Merged

rustdoc-search: fix a race condition in search index loading#118961
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/varconst

Commits

Commits on Dec 15, 2023