From 3e879d1add2451ba6d11aff2cd853d66741ebc71 Mon Sep 17 00:00:00 2001
From: Leo Famulari <leo@famulari.name>
Date: Thu, 13 Jul 2017 12:30:07 -0400
Subject: [PATCH] gnu: spice-protocol: Update to 0.12.13.

* gnu/packages/spice.scm (spice-protocol): Update to 0.12.13.
---
 gnu/packages/spice.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/spice.scm b/gnu/packages/spice.scm
index 8baf4f4a6d..8e3c5e2b7f 100644
--- a/gnu/packages/spice.scm
+++ b/gnu/packages/spice.scm
@@ -122,7 +122,7 @@ (define-public virglrenderer
 (define-public spice-protocol
   (package
     (name "spice-protocol")
-    (version "0.12.12")
+    (version "0.12.13")
     (source (origin
               (method url-fetch)
               (uri (string-append
@@ -130,7 +130,7 @@ (define-public spice-protocol
                 "spice-protocol-" version ".tar.bz2"))
               (sha256
                (base32
-                "00wx81f2ml62g3maw63jq9w217zym921rdi38h7lpm5m8ckxraqp"))))
+                "0cwrgkp558mblcf4vrhacb3iizz12khsrrl82w38w9nj0ar13vl9"))))
     (build-system gnu-build-system)
     (synopsis "Protocol headers for the SPICE protocol")
     (description "SPICE (the Simple Protocol for Independent Computing