Merge pull request #4732 from hashashin/bash-4.4.12
authorHannu Nyman <redacted>
Mon, 16 Oct 2017 07:06:29 +0000 (10:06 +0300)
committerGitHub <redacted>
Mon, 16 Oct 2017 07:06:29 +0000 (10:06 +0300)
bash: version bump to 4.4.12


Trivial merge
git clone https://git.99rst.org/PROJECT