When cancelling a rejudging, also delete the corresponding queue tasks.#2829
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Nov 22, 2024
Merged
When cancelling a rejudging, also delete the corresponding queue tasks.#2829meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
