<div dir="ltr">Looks like git send-mail failed me, sending now through gmail...<div><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>-- <br></div>Guillaume Quintard<br></div></div></div>
</div></div>