fix: Fix Polygon Repair and Empty Polygon Issues, see #1118#1138

Open

mario-dg wants to merge 1 commit intoobss:mainfrom mario-dg:main

Commits on Mar 17, 2025

fix: Fix Polygon Repair and Empty Polygon Issues, see obss#1118
mario-dg
committed