[crux-commits] ports/core (3.7): ed: 1.19 -> 1.20