Re: [Kimchi-devel] Github #972: spice-html5 dir incorrect