Sorry, I was in vacation last week, let me work on that. 2017-05-23 22:20 GMT+02:00 Karl Pauls <[email protected]>:
> Ping :-) > > On Mon, May 22, 2017 at 10:40 AM, Guillaume Nodet <[email protected]> > wrote: > > I'll do it today. > > > > 2017-05-21 23:39 GMT+02:00 Karl Pauls <[email protected]>: > > > >> Hi, > >> > >> it looks like the gogo jline and related artifacts have not been > >> copied to the dist area. Furthermore, they are not listed in the > >> downloads and news sections of the website. > >> > >> Could whoever did these releases please look into this? > >> > >> regards, > >> > >> Karl > >> > >> -- > >> Karl Pauls > >> [email protected] > >> > > > > > > > > -- > > ------------------------ > > Guillaume Nodet > > > > -- > Karl Pauls > [email protected] > -- ------------------------ Guillaume Nodet
