[crux-commits] ports/core (3.7): dash: update to 0.5.12