Skip to content

Use proper typehint for proximityPrecision#610

Merged
meili-bors[bot] merged 1 commit intomeilisearch:mainfrom norkunas:proximity-hintsJan 17, 2024

Commits

Commits on Jan 16, 2024