[crux-commits] ports/core (2.3): gawk: update to 3.1.5h