[crux-commits] ports/contrib (3.1): spice: 0.12.4 -> 0.12.5