> I have upgraded to bash 4.3-11 and this problem is no longer reproducible.
> [...] > I believe this bug can be closed. I don't think this bug should be closed. Debian's wheezy repository, that currently provides 4.2+dfsg-0.1+deb7u3 is still affected. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
