Re: [ANNOUNCE] New committer: Christo Lolov

[Lucas Brutschy]

Congrats!

On Tue, Mar 26, 2024 at 2:44 PM Federico Valeri <fedeval...@gmail.com> wrote:
>
> Congrats!
>
> On Tue, Mar 26, 2024 at 2:27 PM Mickael Maison <mickael.mai...@gmail.com> 
> wrote:
> >
> > Congratulations Christo!
> >
> > On Tue, Mar 26, 2024 at 2:26 PM Chia-Ping Tsai <chia7...@gmail.com> wrote:
> > >
> > > Congrats Christo!
> > >
> > > Chia-Ping