You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The question now is what happens if we revert/change this behaviour. What could the impact be (as an option, this could be discussed in a triage meeting)
Activity
apiraino commentedon Dec 26, 2023
WG-prioritization assigning priority (Zulip discussion).
The question now is what happens if we revert/change this behaviour. What could the impact be (as an option, this could be discussed in a triage meeting)
@rustbot label -I-prioritize +P-high
bvanjoi commentedon Dec 27, 2023
An interesting issue. I will attempt to resolve it.
@rustbot claim
Auto merge of rust-lang#119369 - bvanjoi:fix-119301, r=<try>
Rollup merge of rust-lang#119369 - bvanjoi:fix-119301, r=petrochenkov
Rollup merge of rust-lang#119369 - bvanjoi:fix-119301, r=petrochenkov
Rollup merge of rust-lang#119369 - bvanjoi:fix-119301, r=petrochenkov
Unrolled build for rust-lang#119369