de762ae555
Bugfix: Mesh.faces.extend() would incorrectly add duplicate faces in some circumstances.
Bugfix: Mesh.faces.extend() would incorrectly add duplicate faces in some circumstances.