Conversation

Copy link Copy Markdown

Member

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

label

Veykril enabled auto-merge

Veykril mentioned this pull request

Closed

Veykril added this pull request to the merge queue

Merged via the queue into rust-lang:master with commit 4c734bd

18 checks passed

Veykril deleted the lukaswirth/push-vyxsrxpymtlm branch

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

label

None yet