
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Nov 9, 2010, at 4:05 PM, Tobias Grosser wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">OK to commit those patches?<br></blockquote></div><br><div>Sure, seems reasonable.</div><div><br></div><div>-eric</div></body></html>