updated bash-tools

HariSekhon · HariSekhon · commit d5b25120fd6a · 2017-12-28T18:31:51.000Z
diff --git a/bash-tools b/bash-tools
@@ -1 +1 @@
-Subproject commit 616658414178db7b54a24f8a0e63b766a7d2659b
+Subproject commit 72a23540ddae6f01d45f0790ab7bbc31297adfe8
