Corner duplicates at boundaries
Status Closed — not planned
Maintainer reply None cached
Activity 2 comments · opened Dec 31, 2025 · closed Jan 30, 2026
This issue was accidentally posted to the wrong repository. Please delete.
This issue has 2 comments on GitHub. Read the full discussion on GitHub ↗