Re: gEDA-user: PCB DRC text denting

[DJ Delorie]

> I suggest an optional function to be added into PCB DRC. It would warn
> if some silkscreen text is dented by a hole in the board or by
> soldermask cutout.

I had suggested this one myself ;-)