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