<div dir="ltr">On 16 May 2013 22:34, JF Bastien <span dir="ltr"><<a href="mailto:jfb@google.com" target="_blank">jfb@google.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Here's a slight update which handles the default case better, as pointed out by Renato.<div><br></div><div>I'll let this sit for review a while longer, and commit tomorrow if there are no other comments.</div>
</div></blockquote><div><br></div><div style>Ok. LGTM.</div><div style><br></div><div style>cheers,</div><div style>--renato</div><div><br></div><div> </div></div><br></div></div>