Bash-4.2 patches 9 and 10

[Joachim Schmitz]

Hi folks

Just found Bash-4.2 patches 9 and 10, strange that they never got announced?
--- 
Bye, Jojo