Re: [ANNOUNCE] New committer: Jeff Kim

[Colin McCabe]

Congrats, Jeff!

best,
Colin

On Sat, Sep 14, 2024, at 04:01, Igor Soarez wrote:
> Congratulations Jeff!
>
> --
> Igor