<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 27, 2015 at 6:02 AM, Hendrik Boom <span dir="ltr"><<a href="mailto:hendrik@topoi.pooq.com" target="_blank">hendrik@topoi.pooq.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><br>
</div></div>Please make sure that gmane service stays, and that email is *not*<br>
sent in html format.<br></blockquote><div><br></div><div>Based on our experience with racket-dev, I'm confident that the e-mails are not HTML-ized.<br><br></div><div>Regarding our mirrors, it looks for the moment as though "<a href="http://mail-archive.com" target="_blank">mail-archive.com</a>" is the most responsive; they've already picked up the new racket-dev, and I need to ping gmane and <a href="http://marc.info" target="_blank">marc.info</a> again. We are working to make sure that archives are preserved.<br></div><div> </div><br></div></div></div>