Congratulations and welcome Mirko! Thanks Sharan
On Thu, 24 Aug 2023, 13:31 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 >
