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.