@WG-prioritization/alerts issue #82400 has been requested for prioritization.
I don't have enough context here, this is a stdlib bug, and Android is a Tier 2 platform. How do we usually classify bugs like these?
We don't have a specific "android" team to ping, do we? I'm not sure eiher what to do. I'll try pinging PR 78752 author ("de-vri-es") or libs-impl.
I wonder if the
T-compiler label can go away :thinking:
A PR already on the way \o/
Issue #82400's prioritization request has been removed.