[crux-commits] ports/opt (3.1): spice-protocol: 0.12.6 -> 0.12.7