1 files changed, 0 insertions, 0 deletions

diff --git a/hacks/coverity b/hacks/coverity
index 803cbed70..803cbed70 100644..100755
--- a/hacks/coverity
+++ b/hacks/coverity