- in Gerber Editor: when the Eraser tool is used, after it is applied if some geometries elements are empty, they are now removed
- in Gerber Editor: when the Eraser tool is used, after it is applied if some geometries elements are empty, they are now removed