Two minor fixes necessary for successful compilation with g++15#158
Merged
michael-petersen merged 2 commits intodevelfrom Sep 29, 2025
Merged
Two minor fixes necessary for successful compilation with g++15#158michael-petersen merged 2 commits intodevelfrom
michael-petersen merged 2 commits intodevelfrom
Commits
Commits on Aug 25, 2025
- committed
Martin D. Weinberg - committedMartin D. Weinberg