Open rgossiaux opened 2 years ago
When we renamed a meta, we ended up with a stray category left over from the old name.
Possibly also when garbage collecting the last puzzle in a meta
When we renamed a meta, we ended up with a stray category left over from the old name.