mirror of
https://github.com/flutter/flutter.git
synced 2026-02-20 02:29:02 +08:00
The new name matches the style guide. (The old name was just old and predated the style guide.) Fixes #8000
The new name matches the style guide. (The old name was just old and predated the style guide.) Fixes #8000