<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Feb 23, 2013 at 9:18 AM, Eli Barzilay <span dir="ltr">&lt;<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">An hour ago, Robby Findler wrote:<br>
&gt; Did someone let the EOPL folks know about this change, in case they<br>
&gt; want to check things over?<br>
<br>
</div>Yes, David okayed it, and I ran the tests too, just in case.<br><br></blockquote><div> </div><div style>Thanks.  There&#39;s an eopl3 mailing list that I&#39;m on. I&#39;ll post there and let people know, in case they want to give things a try before the new release.</div>
<div style><br></div><div style>Robby</div></div></div></div>