<p dir="ltr">Approved for branch.</p>
<div class="gmail_quote">On 23 Jan 2016 11:56 p.m., "Joerg Sonnenberger" <<a href="mailto:joerg@britannica.bec.de">joerg@britannica.bec.de</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Sat, Jan 16, 2016 at 03:51:11PM +0100, Joerg Sonnenberger via cfe-commits wrote:<br>
> Hello Richard,<br>
> can this be merged into 3.8? It creates some trivial noise under<br>
> valgrind.<br>
<br>
Ping?<br>
<br>
Joerg<br>
</blockquote></div>