> > On Fri, Apr 06, 2018 at 08:23:45AM +0100, Frediano Ziglio wrote: > > Signed-off-by: Frediano Ziglio <fzig...@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 <victort...@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...@bitron.ch> > > Li Zhijian <lizhij...@cn.fujitsu.com> > > Liang Guo <bluestonech...@gmail.com> > > + Lukáš Hrázký <lhra...@redhat.com> > > Lukas Venhoda <lvenh...@redhat.com> > > Michal Privoznik <mpriv...@redhat.com> > > Michael Tokarev <m...@tls.msk.ru> _______________________________________________ Spice-devel mailing list Spice-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/spice-devel
