Fix bug which generates same type of error also mentioned in #310.#358

Merged

jvdwetering merged 1 commit intomasterfrom bug-fix-deleted-vertex

Oct 22, 2024

+5-1

Commits on Oct 22, 2024

Fix bug which generates same type of error also mentioned in #310 .
jvdwetering
committed