[crux-commits] ports/core (3.7): libedit: update to 20230828_3.1