mirror of
https://github.com/embassy-rs/embassy.git
synced 2025-10-02 06:40:32 +00:00
![bors[bot]](/assets/img/avatar_default.png)
1422: rp: remove leftovers from #1414 r=Dirbaio a=pennae forgot to remove these when they were no longer necessary or useful. oops. Co-authored-by: pennae <github@quasiparticle.net>