On 8/15/06, <b class="gmail_sendername">Andrew Wilkinson</b> &lt;<a href="mailto:aw@cs.york.ac.uk">aw@cs.york.ac.uk</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Tue Aug 15 11:49:03 BST 2006&nbsp;&nbsp;Andrew Wilkinson &lt;<a href="mailto:aw@cs.york.ac.uk">aw@cs.york.ac.uk</a>&gt;<br>&nbsp;&nbsp;* Fix some warnings.<br></blockquote></div><br><br>Sorry, about the mailing list noise. I typed the wrong command and it sent that patch here automatically.
<br><br>Andrew<br><br>