On 2020-04-06 18:42, Koichi Murase wrote:
This is fixed in the devel branch. See the following patch. https://lists.gnu.org/archive/html/bug-bash/2020-01/msg00037.html
Indeed it is. Thank you for the information and patch. I apologize for overlooking this message in my searches.
