mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-03 07:23:52 +02:00
with two or more terminals other than the device identifier type tied together) would fail if there were not a device record specifically matching a one-S/D-terminal device. This is inconsistent with past behavior, and so has been fixed.