Tue (which I sent this message to) is one of our older backup lists (which currently isn't a public forum) – we might want to use it as a non-public forum while the main lists are down, so I'm checking to see if it's still working. (That said, newer players may well not be subscribed to it, as they have no reason to.)
-- ais523 _______________________________________________ Agora mailing list [email protected] https://listserver.tue.nl/mailman/listinfo/agora
