Rust RFC bot

Team member @tmandry has proposed to merge this. The next step is review by the rest of the tagged team members: * [x] @Aaron1011 * [ ] @cjgillot * [x]...

:bell: **This is now entering its final comment period**, as per the [review above](https://github.com/rust-lang/rfcs/pull/3543#issuecomment-1864820416). :bell:

The final comment period, with a disposition to **merge**, as per the [review above](https://github.com/rust-lang/rfcs/pull/3543#issuecomment-1864820416), is now **complete**. As the automated representative of the governance process, I would like to thank...

Still not working with v2

Team member @scottmcm has proposed to merge this. The next step is review by the rest of the tagged team members: * [x] @joshtriplett * [x] @nikomatsakis * [x] @pnkfelix...

:bell: **This is now entering its final comment period**, as per the [review above](https://github.com/rust-lang/rfcs/pull/3484#issuecomment-2023097397). :bell:

:bell: **This is now entering its final comment period**, as per the [review above](https://github.com/rust-lang/rfcs/pull/3484#issuecomment-2023097397). :bell:

Team member @GuillaumeGomez has proposed to merge this. The next step is review by the rest of the tagged team members: * [x] @GuillaumeGomez * [ ] @Manishearth * [x]...

Team member @joshtriplett has proposed to merge this. The next step is review by the rest of the tagged team members: * [x] @joshtriplett * [x] @nikomatsakis * [x] @pnkfelix...

:bell: **This is now entering its final comment period**, as per the [review above](https://github.com/rust-lang/rfcs/pull/3325#issuecomment-1396911253). :bell: