Kévin Commaille 6441d823dd Remove unnecessary allow attribute
It seems like it was fixed in clippy.
2025-01-02 18:42:44 -05:00
..
2025-01-01 22:20:39 +00:00
2025-01-01 22:20:39 +00:00
2025-01-01 22:20:39 +00:00
2025-01-02 18:41:55 -05:00
2025-01-01 22:20:39 +00:00
2025-01-01 22:20:39 +00:00
2025-01-01 22:20:39 +00:00
2025-01-01 22:20:39 +00:00