build: Use patch
to apply patch for Annoy
#3667
Merged
Milestone Bot / milestone-set
succeeded
Oct 1, 2024 in 0s
Milestone is set!
A milestone has been assigned
Loading