### Proposed change Add the option to set memory limits for a specific user (and user group). ### Who would use this feature? Instructors may need to have more memory (e.g. for grading).
Proposed change
Add the option to set memory limits for a specific user (and user group).
Who would use this feature?
Instructors may need to have more memory (e.g. for grading).