fix a bug in remove_degenerate_face
Merge branch 'develop'