Deleting conflict resolution vertices when the sides are deleted

This change could not be recorded without itself

Created by  pmeunier  on December 6, 2020
BD5PC25AB5MKVIYDFSDGRZ4YGX4PKW4SMZ3YAYAPNA5HLDVJUR3QC
Change contents