Enrico Zini wrote:
> That's what I do. It's probably not perfect, and this is a good
> opportunity to see if someone came up with a better process.
We could revive debian-games at lists.debian.org; if it's maintained
by the Debian listmasters it's spam-filtered and more official.
Cheers,
Moritz