update bash-tools

HariSekhon · HariSekhon · commit 015191a12999 · 2017-11-09T17:21:37.000+01:00
diff --git a/bash-tools b/bash-tools
@@ -1 +1 @@
-Subproject commit 63af2612e7cf847342618adf97513ee56c187fb1
+Subproject commit a5db321bbdf77d41a8baa6f95b08307b50a5d4b7
