2024-03-08 00:00:00
mitre
PUBLISHED
Numbas editor before 7.3 mishandles editing of themes and extensions.