I have to echo the sentiments above. I know it's a thankless job, but -
thank you to everyone who worked on this.

Allen


On Wed, May 11, 2022 at 5:18 AM Mario Emmenlauer <[email protected]>
wrote:

>
> Awesome, thanks a lot!
>
> On 10.05.22 18:00, Yuxuan Wang wrote:
> > I'm not used to see all CI checks are green in a pull request :) Good
> job,
> > everyone!
> >
>
> All the best,
>
>     Mario
>

Reply via email to