From 5952f36a44297fc85bf60fa41da504df92cd9a81 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Thu, 19 Jan 2017 19:34:56 +0100
Subject: [PATCH] devtools: introduce ./hacking/gdb.sh and improve
 ./hacking/devshell.sh

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

diff --git a/hacking b/hacking
index 8649dcc..7be0dbf 160000
--- a/hacking
+++ b/hacking
@@ -1 +1 @@
-Subproject commit 8649dcc9b609bce756b6431712d805abe926ec69
+Subproject commit 7be0dbfbed31197cb7fdad141d3658064f81c2f9