I may have fixed a bug in bash
lists.gnu.org