Skip to content

Fix scoreboard update after rejudging.#3089

Merged
meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT:rejudge_score
Sep 14, 2025
Merged

Fix scoreboard update after rejudging.#3089
meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT:rejudge_score

Commits

Commits on Sep 7, 2025