Changes in the Core Team

Submitted ⁨⁨2⁩ ⁨years⁩ ago⁩ by ⁨reedbot⁩ to ⁨rust⁩

https://blog.rust-lang.org/2022/07/12/changes-in-the-core-team.html