[...] > Reproduced with 4.2.53 on Debian: [...]
Actually, it was already reported in early 2013 and fixed for 4.3: http://thread.gmane.org/gmane.comp.shells.bash.bugs/19384 -- Stephane
[...] > Reproduced with 4.2.53 on Debian: [...]
Actually, it was already reported in early 2013 and fixed for 4.3: http://thread.gmane.org/gmane.comp.shells.bash.bugs/19384 -- Stephane