Handle problemBadges for problems w/o explicit color gracefully.#2903
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Feb 28, 2025
Merged
Handle problemBadges for problems w/o explicit color gracefully.#2903meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
