fix intersecting hole

This commit is contained in:
2023-07-15 18:01:31 +02:00
parent d7ac5af9fe
commit 0c33006cff
2 changed files with 1 additions and 1 deletions