remove .includes and add a set to make it O(n)#2875

Merged

fingolfin merged 2 commits intoJuliaDocs:masterfrom

Rahban1:slow_search_bug

Feb 9, 2026

Commits on Feb 3, 2026

removed .includes and added a set to make it O(n)
Rahban1
committed

Commits on Feb 4, 2026

changelog entry
Rahban1
committed