@devoncarew I'm not sure what the normal workflow is here - I presume it's fine for me to merge? This change is pretty trivial, though for more complicated things are there guidelines on assigning reviews(/how many/etc.)?

We can make sure that the right people are on the review (likely dependent on the content), and feel free to cc people who you know have context.

We shouldn't merge when the build system is red, except to address the breakage. It looks like there are some timeouts related to running tests on mac bots for the device lab; I'd wait to merge this until the breakage is resolved (the flutter-build check above is updated periodically for open PRs, so this PR will go green once the device lab bots are happy again).

the flutter-build check above is updated periodically for open PRs

I did wonder about that, thanks for the info!