Give back unfinished judgings in repeated rejudgings.#3136

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:rep_rejmeisterT/domjudge:rep_rejCopy head branch name to clipboard