<div dir="ltr"><div>Hi all,</div><div><br></div>I think the vast majority of those likely aren't concerned with debug info format.  Most of us are off next week, but when we get back I'll look into getting those to run without debuginfo variants except where needed.<br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr">-Todd</div></div>
</div>