@Novum
Novum Fix warnings with GCC 13
19d7658 Apr 30, 2023
Fix warnings with GCC 13 
Those were not actual bugs
19d7658