Emil Ernerfeldt 92fea8a18f Remove things that have been deprecated for over a year (#7099) ...

Removes all things that were marked `#[deprecated]` more than 12 months
ago

2025-05-28 09:47:15 +02:00

..

mod.rs

Remove things that have been deprecated for over a year (#7099)

2025-05-28 09:47:15 +02:00