Skip to content
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

Fill the Rust for Linux ping group #1465

Merged
merged 1 commit into from
May 27, 2024
Merged

Fill the Rust for Linux ping group #1465

merged 1 commit into from
May 27, 2024

Conversation

ojeda
Copy link
Contributor

@ojeda ojeda commented May 26, 2024

The original PR (#1457) was meant as a starting point, so fill the ping group now.

This includes the full Rust for Linux core team, plus other knowledgeable contributors on RFL, Rust and/or the unstable features we use.

Thanks everyone!

Cc: @alex
Cc: @bjorn3
Cc: @Darksonn
Cc: @dingxiangfei2009
Cc: @fbq
Cc: @metaspace
Cc: @nbdd0121
Cc: @tgross35
Cc: @wedsonaf
Cc: @y86-dev

@alex
Copy link
Member

alex commented May 26, 2024

👍 from me

The original PR (rust-lang#1457) was meant as a starting point, so fill the ping
group now.

This includes the full Rust for Linux core team, plus other knowledgeable
contributors on RFL, Rust and/or the unstable features we use.

Thanks everyone!

Cc: @alex
Cc: @bjorn3
Cc: @Darksonn
Cc: @dingxiangfei2009
Cc: @fbq
Cc: @metaspace
Cc: @nbdd0121
Cc: @tgross35
Cc: @wedsonaf
Cc: @y86-dev
Signed-off-by: Miguel Ojeda <[email protected]>
@metaspace
Copy link

LGTM 👍

@jackh726
Copy link
Member

Going to go ahead and merge this - if there are things incorrect, followup PRs can be made.

@jackh726 jackh726 merged commit f393b2b into rust-lang:master May 27, 2024
1 check passed
@ojeda ojeda deleted the rfl branch May 27, 2024 13:41
@ojeda
Copy link
Contributor Author

ojeda commented May 27, 2024

@jackh726 Thanks! I should have added Vincenzo (@vincenzopalazzo) here -- #1466 fixes that.

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.

5 participants