On 11/16/22 5:19 PM, Loïc Yhuel wrote:
https://savannah.gnu.org/support/index.php?110744I 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.
Good idea; I should add it to the manual.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
