Re: [ANNOUNCE] New committer: Josep Prat

Thanks all again! :) On Tue, Jan 3, 2023 at 6:19 PM Bill Bejeck wrote: > Congratulations, Josep! > > -Bill > > On Tue, Dec 20, 2022 at 9:03 PM Luke Chen wrote: > > > Congratulations, Josep! > > > > Luke > > > > On Wed, Dec 21, 2022 at 6:26 AM Viktor Somogyi-Vass > > wrote: > > > > > Congrats

Re: [ANNOUNCE] New committer: Justine Olshan

Congrats! On 12/29/22 6:47 PM, ziming deng wrote: Congratulations Justine! — Best, Ziming On Dec 30, 2022, at 10:06, Luke Chen wrote: Congratulations, Justine! Well deserved! Luke On Fri, Dec 30, 2022 at 9:15 AM Ron Dagostino wrote: Congratulations, Justine!Well-deserved., and I’m

Re: [ANNOUNCE] New committer: Josep Prat

Congratulations, Josep! -Bill On Tue, Dec 20, 2022 at 9:03 PM Luke Chen wrote: > Congratulations, Josep! > > Luke > > On Wed, Dec 21, 2022 at 6:26 AM Viktor Somogyi-Vass > wrote: > > > Congrats Josep! > > > > On Tue, Dec 20, 2022, 21:56 Matthias J. Sax wrote: > > > > > Congrats! > > > > > >