Luís Murta c37e7eb37c
Readds manual categorization
Also fixes a categorization bug in the Manager, in the DB client method.
2023-01-10 21:32:08 +00:00
..
2022-10-09 22:17:33 +01:00
2023-01-10 21:32:08 +00:00