[Spice-devel] [PATCH spice-server] syntax-check: Add missing contributors names to AUTHORS

[Frediano Ziglio]

> 
> On Fri, Apr 06, 2018 at 08:23:45AM +0100, Frediano Ziglio wrote:
> > Signed-off-by: Frediano Ziglio <fziglio at redhat.com>
> 
> Maybe it is better to do it just before a release so we can add
> all new contributors at the same time. Up to you.
> 
> Acked-by: Victor Toso <victortoso at redhat.com>
> 

Merged. I think a CI loose values if you have to manually check the logs every
time to confirm that the error is still this and not something else.
Also an error could hide another following so I prefer if the CI succeed.
(https://gitlab.com/spice/spice/-/jobs, specifically https://gitlab.com/spice/spice/-/jobs/61487061)

Frediano

> > ---
> >  AUTHORS | 1 +
> >  1 file changed, 1 insertion(+)
> > 
> > diff --git a/AUTHORS b/AUTHORS
> > index 99f6c187..8874a9d4 100644
> > --- a/AUTHORS
> > +++ b/AUTHORS
> > @@ -47,6 +47,7 @@ Patches also contributed by
> >      Jürg Billeter <j at bitron.ch>
> >      Li Zhijian <lizhijian at cn.fujitsu.com>
> >      Liang Guo <bluestonechina at gmail.com>
> > +    Lukáš Hrázký <lhrazky at redhat.com>
> >      Lukas Venhoda <lvenhoda at redhat.com>
> >      Michal Privoznik <mprivozn at redhat.com>
> >      Michael Tokarev <mjt at tls.msk.ru>