[crux-commits] ports/core (3.7): gawk: updated to version 5.3.1