Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Fix the wiki indexing benchmark #385

Merged
merged 1 commit into from
Oct 11, 2021
Merged

Fix the wiki indexing benchmark #385

merged 1 commit into from
Oct 11, 2021

Conversation

irevoire
Copy link
Member

No description provided.

@ManyTheFish
Copy link
Member

bors merge

@bors
Copy link
Contributor

bors bot commented Oct 11, 2021

@bors bors bot merged commit 8f6b6c9 into main Oct 11, 2021
@bors bors bot deleted the fix_indexing_bench branch October 11, 2021 15:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants