Comment 7 for bug 1488939

I proposed a merge including my fix for further review (https://code.launchpad.net/~paelzer/ubuntu/wily/bash/fix-for-1488939/+merge/272916) and also started a discussion at <email address hidden> to get their feedback regarding changing options. I will add a link to the thread once it shows up in the archives.