ping On Fri, Nov 9, 2018 at 2:20 AM Wenchen Fan <[email protected]> wrote:
> Actually I did it 3 hours ago, however the mail server seems to have some > problems and my email was lost. Let me resend it. > > On Fri, Nov 9, 2018 at 1:56 AM Reynold Xin <[email protected]> wrote: > >> The website is already up but I didn’t see any email announcement yet. >> >
