Free up the assignment name after deleting an assignment
Compare changes
@@ -189,6 +190,12 @@ public class Assignment {
Previously, when deleting an assignment, it would hold that name reserved forever. That doesn't happen now. Closes #109 (closed)
To be filled in by the reviewers