On Apr 24, 2014, at 04:37 PM, Sylvain Viart wrote: >What the hashtag #mailman stand for? That's the channel name on the freenode IRC network we use. https://www.freenode.net/ If you don't have a dedicated IRC client, this is a good web-based one I've used often: https://kiwiirc.com/ Cheers, -Barry