Skip to content

Conversation

fmease
Copy link
Member

@fmease fmease commented Dec 22, 2024

I didn't know about this for one whole year of reviewing.
Progress on #53 or rather rust-lang/rust#132474 has halted again. I would be very grateful if you could merge this PR earlier than that similar to #63 but I'm fine with closing this PR of course if you disagree :)

r? @pietroalbini :)

@pietroalbini pietroalbini merged commit 8e89a10 into rust-lang:master Dec 22, 2024
1 check passed
@fmease fmease deleted the add-fmease branch December 22, 2024 10:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants