<div class="gmail_quote">On Sun, Aug 15, 2010 at 11:39 AM, Daniel Fischer <span dir="ltr">&lt;<a href="mailto:daniel.is.fischer@web.de">daniel.is.fischer@web.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div><div></div><div class="h5">Out of curiosity, what kind of speed-up did your Friday fix bring to the</div></div>
searching/replacing functions?<br></blockquote><div><br></div><div>Quite a bit!</div><div><br></div><div>text 0.7.1.0 and <a href="http://0.7.2.1">0.7.2.1</a>:</div><div><ul><li>1.056s</li></ul>darcs HEAD:</div><div><ul>
<li>0.158s</li></ul><br></div></div>