<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">&lt;<a href="mailto:dons@galois.com">dons@galois.com</a>&gt;</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 &#39;text&#39; 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>