mirror of
https://github.com/flutter/flutter.git
synced 2026-02-12 05:42:27 +08:00
This PR applies [the suggestion made here](https://github.com/flutter/devtools/pull/6942#issuecomment-1852773200).
This PR applies [the suggestion made here](https://github.com/flutter/devtools/pull/6942#issuecomment-1852773200).