This will be the meeting from December 2022. Not all of us were available, but I thought it was better to have a meeting anyway, so that later in the month we can have the January 2023 meeting. My suggestion is to tackle some of the open pull requests, but do not hesitate to add other items to the agenda.