reassign 192831 bash thanks This doesn't look like a bug, but I'll reassign it for the bash maintainer to close if appropriate. -- - mdz