Conversation

Copy link Copy Markdown

Contributor

I forgot this in #22974.

…oc.rs

Status: Awaiting review from the assignee but also interested parties.

label

ChayimFriedman2 enabled auto-merge

ChayimFriedman2 added this pull request to the merge queue

Merged via the queue into rust-lang:master with commit 987d712

18 checks passed

ChayimFriedman2 deleted the rec-depth branch

Status: Awaiting review from the assignee but also interested parties.

label

None yet