Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> writes: > Let's drop this current gawk import series. > > After talking to the gawk author it turns out it's better to use the > version from gnulib, this includes the equivalent of your patch. OK. That may make things simpler ;-) Thanks.