<div dir="ltr">Nope. We'd keep the mailing list.<br></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Oct 14, 2018 at 3:02 PM Michael Bar-Sinai <<a href="mailto:mich.barsinai@icloud.com">mich.barsinai@icloud.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Interesting. Would this replace the mailing list?<br>
<br>
> On 14 Oct 2018, at 17:52, Philip Durbin <<a href="mailto:philipdurbin@gmail.com" target="_blank">philipdurbin@gmail.com</a>> wrote:<br>
> <br>
> I'm considering creating a Gitter channel for codecraft. What do you all think?<br>
> _______________________________________________<br>
> codecraft mailing list<br>
> <a href="mailto:codecraft@or8.net" target="_blank">codecraft@or8.net</a><br>
> <a href="http://or8.net/mailman/listinfo/codecraft" rel="noreferrer" target="_blank">http://or8.net/mailman/listinfo/codecraft</a><br>
<br>
_______________________________________________<br>
codecraft mailing list<br>
<a href="mailto:codecraft@or8.net" target="_blank">codecraft@or8.net</a><br>
<a href="http://or8.net/mailman/listinfo/codecraft" rel="noreferrer" target="_blank">http://or8.net/mailman/listinfo/codecraft</a><br>
</blockquote></div>