Increase coordinate comparison tolerance (EPS) for wall bounding rectangle calculations #2087
Mergify / Rule: automatic merge on CI success after reviews (merge)
succeeded
Feb 17, 2026 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at ad7dc6a
Loading