From f0ee397f5d2d789fa285936b9404aa6f802caa47 Mon Sep 17 00:00:00 2001
From: Ben Jackson <ben.jackson@fidessa.com>
Date: Wed, 15 Apr 2020 13:15:33 +0100
Subject: [PATCH] Update bashdb

---
 install_gadget.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/install_gadget.py b/install_gadget.py
index a3c6aff..50aed23 100755
--- a/install_gadget.py
+++ b/install_gadget.py
@@ -255,10 +255,10 @@ GADGETS = {
              'download/${version}/${file_name}',
     },
     'all': {
-      'file_name': 'bash-debug-0.3.6.vsix',
-      'version': 'v0.3.6',
+      'file_name': 'bash-debug-0.3.7.vsix',
+      'version': 'v0.3.7',
       'checksum':
-        '502ee5732851fc4f309294fc296a291b1a114008a1fbcb232f3763be2b8d9c1f',
+        'b73e5b4604375df8658fb5a72c645c355785a289aa785a986e508342c014bb4',
     },
     'do': lambda name, root, gadget: InstallBashDebug( name, root, gadget ),
     'adapters': {