[...]
> 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

Reply via email to