From 817858bedc21cf5b496e61cf0a4d7d2264b9fa69 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Wed, 23 Dec 2015 00:32:12 +0100
Subject: [PATCH] update devtools

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

diff --git a/hacking b/hacking
index ab6ec66..f62c23d 160000
--- a/hacking
+++ b/hacking
@@ -1 +1 @@
-Subproject commit ab6ec669ba565aa1e5d53cd4a64964884db36fb3
+Subproject commit f62c23db188e65f6552baf6dfbcc418734810e5b