On Fri, Oct 26, 2012 at 6:38 PM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.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 class="im">On Fri, Oct 26, 2012 at 8:34 AM, Manuel Klimek <<a href="mailto:klimek@google.com">klimek@google.com</a>> wrote:<br>
> On Fri, Oct 26, 2012 at 5:02 PM, David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br>
>><br>
>>  and hasDescendant() for QualTypes and TypesLocs.)<br>
>> MIME-Version: 1.0<br>
>> Content-Type: multipart/mixed;<br>
>> boundary="b1_04036864fe6f78f09472efdaebba17b2"<br>
>><br>
>> --b1_04036864fe6f78f09472efdaebba17b2<br>
>> Content-Type: text/plain; charset="utf-8"<br>
>> Content-Transfer-Encoding: 7bit<br>
>><br>
>> Manuel, could we get the patch/review description these emails?<br>
><br>
><br>
> <a href="http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20121022/066885.html" target="_blank">http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20121022/066885.html</a><br>
><br>
> What's the problem?<br>
<br>
</div>I just assumed there was actually a patch description somewhere - but<br>
looking at the code review on the website I see there's nothing more<br>
than the patch and a one sentence title.<br>
<br>
I see in other reviews ( <a href="http://llvm-reviews.chandlerc.com/D56" target="_blank">http://llvm-reviews.chandlerc.com/D56</a> ) that<br>
the summary is included in the initial email. I wonder whether it's a<br>
problem with arcanist, or perhaps Daniel just didn't have a summary.<br>
</blockquote></div><br></div><div class="gmail_extra">"Feature" of arcanist :) It auto-detects the header somehow, so you need to get a line break in to get a summary...</div><div class="gmail_extra"><br></div>
<div class="gmail_extra">I'll look into the details to add it to the docs...</div><div class="gmail_extra"><br></div><div class="gmail_extra">Cheers,</div><div class="gmail_extra">/Manuel</div>