4 ms·
From https://www.gnu.org/software/gawk/ https://www.gnu.org/software/gawk/: "Bug reports and feature suggestions for gawk should be sent to bug-gawk@gnu.org."
by alexhutcheson 8y ago
From https://www.gnu.org/software/gawk/ https://www.gnu.org/software/gawk/: "Bug reports and feature suggestions for gawk should be sent to bug-gawk@gnu.org."
Maybe try sending an email? I agree that reporting to the Debian packager often works, but in this case it's possible they just have too many things to triage appropriately.
- stevekemp 8y agoDropped 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.