Skip to content

Add multi-delete for users.#3138

Merged
meisterT merged 7 commits intoDOMjudge:mainfrom
meisterT:user_multidelete
Oct 5, 2025
Merged

Add multi-delete for users.#3138
meisterT merged 7 commits intoDOMjudge:mainfrom
meisterT:user_multidelete

Commits

Commits on Oct 4, 2025

Commits on Oct 5, 2025