> https://savannah.gnu.org/support/index.php?110744 > > I attached the patch I applied.
It works, thank you. Btw, I didn't search on savannah since https://www.gnu.org/software/bash/manual/html_node/Reporting-Bugs.html doesn't mention it. But I see the bug tracker is mentioned on https://www.gnu.org/software/bash/.