[crux-commits] ports/core (3.2): ed: updated to 1.13