<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Done. Thanks!<div><br></div><div>-bw</div><div><br><div style=""><div>On Jul 25, 2014, at 7:31 PM, Richard Trieu <<a href="mailto:rtrieu@google.com">rtrieu@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div>I've finished tackling the known problems in Template Type Diffing. These are the changes that should be merged:</div><div><br></div><div>213609</div><div>213611</div><div>213613</div><div>213840</div>
<div>213902</div><div>213912</div><div>214008</div><div class="gmail_extra"><br></div><div class="gmail_extra">If anyone else notices problems with Template Type Diffing, let me know and I will look at them right away.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">On Fri, Jul 25, 2014 at 9:54 AM, Douglas Gregor <span dir="ltr"><<a href="mailto:dgregor@apple.com" target="_blank">dgregor@apple.com</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="">
<br>
> On Jul 24, 2014, at 4:05 PM, Richard Trieu <<a href="mailto:rtrieu@google.com">rtrieu@google.com</a>> wrote:<br>
><br>
> I have been working this week to stamp out several bugs with Template Type Diffing. Some the fixes have already been committed, but a few more changes will be needed to fix the known issues. I would like approval to merge the patches for Template Type Diffing into the 3.5 release. The changes are limited to two files and I expect to be finished prior to the start of phase II testing.<br>
<br>
<br>
</div>Given that these are fairly targeted changes for diagnostics, I think this is fine.<br>
<br>
- Doug<br>
<br>
</blockquote></div><br></div></div>
</blockquote></div><br></div></body></html>