[crux-commits] ports/opt (3.2): spice-protocol: 0.12.10 -> 0.12.12