Hi, I just checked our coverity scans (https://scan.coverity.com/projects/mesos) and saw that the last scan happened on May 27th. Does anyone know what happened there or who is actually responsible for this (according the project Vinod, BenM, BenH, Jie, Dominic, and Tim are project admins)?
Thanks, Jörg
