<div dir="ltr">Thanks - committed as r288068</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Nov 28, 2016 at 1:06 PM Tom Tromey <<a href="mailto:tom@tromey.com">tom@tromey.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">>>>>> "David" == David Blaikie <<a href="mailto:dblaikie@gmail.com" class="gmail_msg" target="_blank">dblaikie@gmail.com</a>> writes:<br class="gmail_msg">
<br class="gmail_msg">
David> Looks good to me, please commit.<br class="gmail_msg">
<br class="gmail_msg">
I don't have commit access.<br class="gmail_msg">
<br class="gmail_msg">
David> (test might do with an improvement - to make sure the attribute<br class="gmail_msg">
David> is appearing in the right place, I'd expect something like:<br class="gmail_msg">
<br class="gmail_msg">
I've updated the patch per this suggestion.  The new patch is attached.<br class="gmail_msg">
<br class="gmail_msg">
Tom<br class="gmail_msg">
<br class="gmail_msg">
</blockquote></div>