[crux-commits] ports/core (3.1): ed: update to 1.12