Make sure the g++ version is modern enough where it is available but …#3257
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Nov 29, 2025
Merged
Make sure the g++ version is modern enough where it is available but …#3257meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
