This was a copy-paste error that caused the junction dots to be twice as small as they should be. Fixes https://gitlab.com/kicad/code/kicad/issues/4834
Fixes https://gitlab.com/kicad/code/kicad/issues/4834
DRC/ERC error serialization changed to use explicit tokens Old stored severities and ignored errors are discarded