I just noticed that our last Coverity scan happened on either July-6 (according to my inbox) or June-26 (according to Coverity's website). Prior to that, we seemed to get scanned about once per week. Does anybody know why we haven't been scanned for so long? I can't figure out what triggers a scan, but it seems like it should've happened by now. -Alan