Merge pull request #6398 from docker-library-bot/bash

Update bash

library/bash

@@ -3,9 +3,9 @@
 Maintainers: Tianon Gravi <[email protected]> (@tianon)
 GitRepo: https://github.com/tianon/docker-bash.git
 
-Tags: devel-20190725, devel
+Tags: devel-20190731, devel
 Architectures: amd64, arm32v6, arm32v7, arm64v8, i386, ppc64le, s390x
-GitCommit: 9aa0b472a192d5cf9b35958d3f07b2459efbe357
+GitCommit: 6eb9ff4b3b7c41c4199900d0981b5c36f4def83e
 Directory: devel
 
 Tags: 5.0.7, 5.0, 5, latest