[crux-commits] ports/core (3.0): file: updated to 5.19