jenkinsci/coverity-plugin — pull request #8 by netnode (2013-07-22 09:41:47+00:00)
Title: Jenkins 14833

Hi Josh

I believe this addresses JENKINS-14833 and that the patch is now based on the current code.