mailing list working

[Michi Mutsuzaki]

Is the mailing list working for you guys? I haven't received emails
from user@/dev@ for about a week. I tried re-subscribing, but it
didn't help.