Forwarded PRs: #5

Open
autogits-devel wants to merge 2 commits from PR_bash#2 into master
Showing only changes of commit a01bf2669a - Show all commits

2
bash

Submodule bash updated: c99b706fb6...78d0a54525