Re: [Spice-devel] [PATCH] Remove global key_modifiers_timer variable

2016-09-12 Thread Pavel Grunt
On Mon, 2016-09-12 at 12:51 +0100, Frediano Ziglio wrote: > Signed-off-by: Frediano Ziglio Acked-by: Pavel Grunt > --- >  server/inputs-channel.c | 13 ++--- >  1 file changed, 6 insertions(+), 7 deletions(-) > > diff --git a/server/inputs-channel.c b/server/inputs-channel.c > index ce86d

[Spice-devel] [PATCH] Remove global key_modifiers_timer variable

2016-09-12 Thread Frediano Ziglio
Signed-off-by: Frediano Ziglio --- server/inputs-channel.c | 13 ++--- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/server/inputs-channel.c b/server/inputs-channel.c index ce86d7e..2738be4 100644 --- a/server/inputs-channel.c +++ b/server/inputs-channel.c @@ -110,6 +110,7