<div dir="ltr"><div>Hello folks,</div><div><br></div><div>We&#39;ve run a new Coverity run that was entirely automated. Current split of Coverity issues:</div><div>High: 132<br></div><div>Medium: 241<br></div><div>Low: 83<br></div><div>Total: 456<br></div><div><br></div><div>We will be pushing a nightly build into <a href="http://scan.coverity.com">scan.coverity.com</a> via Jenkins. So, you should be able to see updates to these numbers as you merge in fixes.<br></div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">nigelb<br></div></div></div></div>