mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 01:24:51 +02:00
input, which failed to update the "lastLabel" record of the cell in the case that the placeholder label being deleted was the last label, leading to labels being lost during GDS input.