<div class="gmail_quote">Hi all,</div><div class="gmail_quote"><br></div><div class="gmail_quote">On Sun, Mar 14, 2010 at 3:43 AM, Don Stewart <span dir="ltr"><<a href="mailto:dons@galois.com">dons@galois.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> -- utf8-string ==0.3.4 -- NEW<br></blockquote><div> </div><div>Are we sure we want to standardize on this? I understand that many people use this library as it was the best option available for a while. However, the 'text' library seems to be a better candidate from a technical perspective and is now mature enough that we could consider including it in the platform.</div>
<div><br></div><div>Cheers,</div><div>Johan</div><div><br></div></div>