From b029ce94b92dbd9d239c23a1bcf984025d671a9a Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Wed, 23 Dec 2015 01:02:08 +0100
Subject: [PATCH] update devtools

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

diff --git a/hacking b/hacking
index f62c23d..0d8e5b4 160000
--- a/hacking
+++ b/hacking
@@ -1 +1 @@
-Subproject commit f62c23db188e65f6552baf6dfbcc418734810e5b
+Subproject commit 0d8e5b4df98c7d41f2961b26a3d0fd8c9b7dfe14