Subject: Re: [bug#29540] [PATCH] gnu: spice: Update to 0.14.0.

From: Leo Famulari <[email-masked]>
Date: Mon, 4 Dec 2017 14:06:45 -0500

On Sat, Dec 02, 2017 at 05:23:27PM -0500, Andy Patterson wrote:
> Subject: [PATCH] gnu: spice: Update to 0.14.0.
> 
> This is a follow-up to commit 9a187b39b7991463aa6985f5b746fccf69789525.
> 
> * gnu/packages/spice.scm (spice): Update to 0.14.0.
> [origin]<patches>: Remove them.
> <uri>: Use https.
> [inputs]: Add orc.
> [home-page]: Update to use https.

Pushed as b142756d9c6a2dd6936b7175f120846190f52aaa, also removing the
leftover patch files and references to them from 'gnu/local.mk'.