Skip to content

TermFile index types#235

Merged
JordyAaldering merged 5 commits intomasterfrom
index-types-termfile
Jan 22, 2026
Merged

TermFile index types#235
JordyAaldering merged 5 commits intomasterfrom
index-types-termfile

Conversation

@JordyAaldering
Copy link
Copy Markdown
Contributor

No description provided.

@JordyAaldering JordyAaldering self-assigned this Jan 22, 2026
@JordyAaldering JordyAaldering merged commit 4ed07f4 into master Jan 22, 2026
2 checks passed
@JordyAaldering JordyAaldering deleted the index-types-termfile branch January 23, 2026 12:48
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.

1 participant