On Sat, 2013-12-07 at 12:51 -0800, julien2412 wrote: > Similarly, there's CID#708952 (see > https://scan5.coverity.com:8443/reports.htm#v22002/p10276/fileInstanceId=47973599&defectInstanceId=14481123&mergedDefectId=708952). FWIW, CID#708952 is fixed now C.