Hi, On Thu, Jan 02, 2014 at 11:56:10PM +0100, Petter Reinholdtsen wrote: > [Christophe Fergeau] > > With that said, the patch is small enough that I'm fine with taking > > it. > > Great!
I've just pushed http://cgit.freedesktop.org/spice/spice-xpi/commit/?id=3ede7323a5f84cb3e02883b1282b9358a760d317 > Btw, how come spice is not listed on > <URL: https://scan.coverity.com/projects >? It seem like a project that > could use static code checking to keep security issues out. :) Noone asked for it to be included I guess. Coincidentally, I've just looked at the output of a Coverity scan for SPICE, and fixed a few things even if they were not very worrying issues. Christophe
pgpbLyVEVBZI5.pgp
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/spice-devel
