Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72237 Integer overflow on String::drain() with


triagebot (May 21 2020 at 13:54, on Zulip):

@WG-prioritization issue #72237 has been requested for prioritization.

Santiago Pastorino (May 21 2020 at 13:54, on Zulip):

I think this is P-high

Wesley Wiser (May 21 2020 at 13:56, on Zulip):

:thumbs_up:

LeSeulArtichaut (May 21 2020 at 13:56, on Zulip):

Seems fair

triagebot (May 21 2020 at 13:58, on Zulip):

Issue #72237's prioritization request has been removed.

Last update: Jun 05 2020 at 23:10UTC