<div dir="ltr">Hi Marco,<div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Apr 26, 2013 at 8:59 AM, Marco Antoniotti <span dir="ltr"><<a href="mailto:marcoxa@cs.nyu.edu" target="_blank">marcoxa@cs.nyu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Apr 26, 2013, at 06:16 , Raymond Toy <<a href="mailto:toy.raymond@gmail.com">toy.raymond@gmail.com</a>> wrote:<br>
<br>
><br>
>    Drew> Let me know what is required and for which lists, and it will be done.<br>
><br>
> Not sure what's really needed, but something like the old mailman<br>
> interface would be nice.  At the very list, being able to get a list<br>
> of subscribers, adding/removing/ subscribers, configuring max message<br>
> sizes, digests, how to handle moderation, etc.<br>
<br>
</div>Yes.  And my question stands.  Is Mailiman still used or not?<br>
<br><br></blockquote><div><br></div><div>Absent any other answers to your question: From other conversations on this list, I gather it's been replaced by mlmmj. Apparently it's no longer an option to have mailman.<br>
</div><div style><br></div><div style>Regards,</div><div style><br></div><div style><br></div><div style>Erik.</div></div><br></div></div>