PG Herveou
authored
This should fix some compilation warnings discovered under rustc 1.83
---------
Co-authored-by: 
cmd[bot] <41898282+github-actions[bot]@users.noreply.github.com> This should fix some compilation warnings discovered under rustc 1.83
---------
Co-authored-by: cmd[bot] <41898282+github-actions[bot]@users.noreply.github.com>