[crux-commits] ports/core (2.3): gzip: update to 1.3.12