On Wed, Feb 18, 2015 at 08:30:31PM +0100, SN wrote: > > Also, remember to state the version you're using. > I pasted version in the format printed by bashbug. In case it's not enough: Yep, you omitted this part though: Bash Version: 4.3 <- that Patch Level: 33 Release Status: release
Let's wait to see what Chet has to say on that matter. Changes on the devel branch are not documented, so he's the only one that knows what's going on.