[crux-commits] ports/opt (3.4): spice-protocol: 0.12.14 -> 0.12.15