Closed matthiasbeyer closed 1 year ago
This removes an unnecessary cast as reported by the clippy cron job.
This removes an unnecessary cast as reported by the clippy cron job.