Hi Mirko and welcome! Chris, thank you for taking the initiative.
On Thu, Aug 24, 2023 at 1:31 PM Christofer Dutz <[email protected]> wrote: > > Hi all, > > I would like to announce, that we just added Mirko to the list of committers > and PPMC members. > > Please welcome give him a warm welcome :-) > > Chris
