Skip to content

Conversation

@john-sharratt
Copy link

No description provided.

@rust-highfive
Copy link

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Amanieu (or someone else) soon.

Please see the contribution instructions for more information.

@JohnTitor JohnTitor marked this pull request as draft May 28, 2022 07:34
@JohnTitor
Copy link
Member

JohnTitor commented May 28, 2022

Converting to draft as this PR seems WIP. Feel free to make it ready once you completely add the changes, fix the style CI failure, and squash commits into one.

@john-sharratt
Copy link
Author

Converting to draft as this PR seems WIP. Feel free to make it ready once you completely add the changes, fix the style CI failure, and squash commits into one.

Ah, i didnt mean to lodge this yet, thanks for converting it.

@bors
Copy link
Contributor

bors commented Sep 19, 2022

☔ The latest upstream changes (presumably #2906) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Contributor

bors commented Mar 8, 2023

☔ The latest upstream changes (presumably #3143) made this pull request unmergeable. Please resolve the merge conflicts.

@JohnTitor
Copy link
Member

I'd like to see a PR once everything is ready, feel free to recreate a new one when it's time!

@JohnTitor JohnTitor closed this Oct 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants