mirror of
https://github.com/google/blockly.git
synced 2026-06-16 16:15:14 +02:00
7ad18f717a
This reverts commit 4c78c1d4a3 / PR #9175.
This reverts commit 4c78c1d4a3 / PR #9175.