Skip to content

update tantivy#6327

Merged
PSeitz merged 1 commit into
mainfrom
update_tantivy
Apr 21, 2026
Merged

update tantivy#6327
PSeitz merged 1 commit into
mainfrom
update_tantivy

Conversation

@PSeitz
Copy link
Copy Markdown
Collaborator

@PSeitz PSeitz commented Apr 21, 2026

Description

Describe the proposed changes made in this PR.

How was this PR tested?

Describe how you tested this PR.

@PSeitz PSeitz requested a review from trinity-1686a April 21, 2026 12:13
@PSeitz PSeitz merged commit a704d85 into main Apr 21, 2026
8 checks passed
@PSeitz PSeitz deleted the update_tantivy branch April 21, 2026 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants