Change the total number of submissions to the number of submissions p…#2722
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Sep 29, 2024
Merged
Change the total number of submissions to the number of submissions p…#2722meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
