Re: [ANNOUNCE] New committer: Divij Vaidya

[John Roesler]

Congratulations, Divij!
-John

On Tue, Jun 13, 2023, at 09:44, David Arthur wrote:
> Congrats Divij!
>
> On Tue, Jun 13, 2023 at 12:34 PM Igor Soarez <i...@soarez.me> wrote:
>
>> Congratulations Divij!
>>
>> --
>> Igor
>>
>
>
> -- 
> -David