mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 01:24:51 +02:00
type in the device record, which was not updated at the end of checking terminals for matching device extraction types. so the boundary survey might see the wrong device type and generate an incorrect boundary survey as a result.