Skip to content

Add 2024 Edition Call For Proposals post #1175

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Dec 16, 2023
Merged

Conversation

bstrie
Copy link
Contributor

@bstrie bstrie commented Dec 10, 2023

@bstrie
Copy link
Contributor Author

bstrie commented Dec 13, 2023

@m-ou-se @ehuss I've pushed a new commit in response to feedback, please re-review.

@rylev
Copy link
Member

rylev commented Dec 15, 2023

@bstrie do you want to update the post with today's date, and then we can merge it?

@ehuss
Copy link
Contributor

ehuss commented Dec 16, 2023

Sorry, was waiting to see if Mara had any other feedback. Thanks @bstrie!

@ehuss ehuss merged commit e0f3a55 into rust-lang:master Dec 16, 2023
@ehuss
Copy link
Contributor

ehuss commented Dec 16, 2023

Oops, I renamed the file but it didn't push to the correct remote. 😦

@bstrie
Copy link
Contributor Author

bstrie commented Dec 16, 2023

@ehuss Can we correct the date? It would be nice to not have it be buried in the index under the previous post.

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.

4 participants