[crux-commits] ports/core (3.7): curl: update to 8.1.2