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]
