<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">>>Great! Is it possible for you to provide a patch before feature freeze for 0.9<br>
>>(Monday 16 July)?</blockquote><div><br>I'll try to post a patch Monday (mid-day eastern time - GMT -5), if that's OK. If you need it sooner, let me know and I'll do what I can. I assume the patch should be for HEAD?
<br>Steven </div><br></div>