integrate the latest version of milli

This commit is contained in:
Tamo 2023-01-11 17:20:26 +01:00
parent a68ac3a1dc
commit bf573885ea
No known key found for this signature in database
GPG key ID: 20CD8020AFA88D69
3 changed files with 11 additions and 11 deletions

View file

@ -16,7 +16,7 @@ file-store = { path = "../file-store" }
flate2 = "1.0.24"
fst = "0.4.7"
memmap2 = "0.5.7"
milli = { git = "https://github.com/meilisearch/milli.git", rev = "02fd06ea0bab560ada6491ed898c2b6cbe4cf065", default-features = false }
milli = { git = "https://github.com/meilisearch/milli.git", tag = "v0.39.0", default-features = false }
proptest = { version = "1.0.0", optional = true }
proptest-derive = { version = "0.3.0", optional = true }
roaring = { version = "0.10.0", features = ["serde"] }