From 6a4ef305239f839f8bdcd9afbbeee8c2336875a2 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 12 Aug 2017 00:27:57 +0200
Subject: [PATCH] devtools: coverity-scan: do nothing if not in
 $COVERITY_SCAN_BRANCH

---
 hacking | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hacking b/hacking
index 351dbed..dc88eab 160000
--- a/hacking
+++ b/hacking
@@ -1 +1 @@
-Subproject commit 351dbedd8bb6488986babddcab91736acdc0b64b
+Subproject commit dc88eab70ff44e80df732070523e9047030513c9