[crux-commits] ports/core (3.1): patch: update to 2.7.2