error "small circle on edge.cuts" is reported twice
Description
A very small circle on edge.cuts is reported as drc-error. (probably new added in v8). This works, but the drc report lists this error two times.
Steps to reproduce
- open attached project, open board:drc_small_circle.zip
- run drc
- get 2x error "small circle on edge.cuts" pointing to the middle of H101
- open FP H101 in FP editor
- examine the rejected area: there is a small circle on edge.cuts, but only one, not two
KiCad Version
Application: KiCad PCB Editor x64 on x64
Version: 8.0.0-rc3-2-g1717f39daf, release build
Libraries:
wxWidgets 3.2.4
FreeType 2.12.1
HarfBuzz 8.3.0
FontConfig 2.14.2
Platform: Windows 10 (build 19045), 64-bit edition, 64 bit, Little endian, wxMSW
wxWidgets: 3.2.4 (wchar_t,wx containers)
Boost: 1.83.0
OCC: 7.7.1
Curl: 8.5.0-DEV
ngspice: 42
Compiler: Visual C++ 1936 without C++ ABI
Build settings: