mirror of
https://github.com/google/blockly.git
synced 2026-06-01 17:00:07 +02:00
b34db5bd01
Fixes a bug introduced in PR #5736.
Fixes a bug introduced in PR #5736.