Dropped a mail there now, thanks. Edit: Too late I see it was already reported before the release and apparently wasn't regarded as significant: http://lists.

Dropped a mail there now, thanks. Edit: Too late I see it was already reported before the release and apparently wasn't regarded as significant: http://lists.gnu.org/archive/html/bug-gawk/2019-04/msg00015.html http://lists.gnu.org/archive/html/bug-gawk/2019-04/msg00015.... I guess that means no fix.