[crux-commits] ports/core (3.1): sudo: update to 1.8.13