Merge pull request #4732 from hashashin/bash-4.4.12