Commit 255dadc152a967219b447f02bfe95dd9d6bce07c

Behdad Esfahbod 2025-02-04T22:02:11

[set] Speed up may_intersect()