Re: [PATCH] Update spice to version 0.12.8