Skip to content

Two minor fixes necessary for successful compilation with g++15#158

Merged
michael-petersen merged 2 commits into
develfrom
g++15
Sep 29, 2025
Merged

Two minor fixes necessary for successful compilation with g++15#158
michael-petersen merged 2 commits into
develfrom
g++15