<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The same here!<div><br></div><div>Deborah</div><div><br><div><div>On Feb 26, 2013, at 1:59 PM, Andy Heninger <<a href="mailto:aheninger@google.com">aheninger@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">Thank you, Paul, for all that you do in keeping this going. I really appreciate it.<div><br></div><div style=""> -- Andy</div><div style=""><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Tue, Feb 26, 2013 at 12:55 PM, Paul Eggert <span dir="ltr"><<a href="mailto:eggert@cs.ucla.edu" target="_blank">eggert@cs.ucla.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The new version should be available soon. In the meantime your<br>
folks can test with what's on github, as that's likely going<br>
to be the final version, except that the version number will be<br>
updated to 2013a.<br>
<br>
To be honest one holdup at this point is the hassle of<br>
jumping through all the internal security hoops to<br>
create an official release. It's an unpleasant process and<br>
I dread having to do it. There is some benefit to not<br>
being hasty, I suppose.<br>
</blockquote></div><br></div>
</blockquote></div><br></div></body></html>