<br><div class="gmail_quote">On Wed, Dec 3, 2008 at 5:41 AM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@cs.uchicago.edu">robby@cs.uchicago.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Wed, Dec 3, 2008 at 12:51 AM, YC &lt;<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>&gt; wrote:<br>
&gt; Are there additional requirements for setting up a mirror?<br>
<br>
</div>I&#39;m not sure.<br>
<font color="#888888"></font></blockquote><div><br>Are planet-servlet.ss available for distribution then?&nbsp; <br><br>Thanks,<br>yc<br><br></div></div>