mirror of
https://github.com/google/blockly.git
synced 2026-06-16 16:15:14 +02:00
5cdc5f587f
This updates should have been included in PR #5626 but were apparently omitted (and the omission not noted by the code reviewer either!)