<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">


  

<div bgcolor="#ffffff" text="#000000"><div><div class="h5">
<blockquote type="cite"><blockquote type="cite"><pre>I'll ack that.
  
    </pre>
  </blockquote>
  <pre>This is not all boards yet, but I send them out so I can go to bed :-)
  </pre>
</blockquote>
</div></div><font size="-1"><font face="Helvetica, Arial, sans-serif"><br>
ping<br></font></font></div></blockquote><div> </div><div>I think I missed your patch.  I sent one out for review, too.<br><br>Thanks,<br>Myles </div></div><br>