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 _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "[email protected]"
