diff --git a/bash-tools b/bash-tools
index 956f4762..cf080c2c 160000
--- a/bash-tools
+++ b/bash-tools
@@ -1 +1 @@
-Subproject commit 956f47624a5fcefdf46c5d675298e0526121713c
+Subproject commit cf080c2c584de729b3bbbcefb3cfa353cf64216a