mirror of
https://github.com/google/blockly.git
synced 2026-06-17 00:25:14 +02:00
4e688bf949
There's no need to record and replay these events since the change will happen automatically anyway. Resolves #7951