[crux-commits] ports/opt (3.5): libedit: 20191025_3.1 -> 20191211_3.1