Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Meeting 2023-07-26 #118

Closed
29 tasks done
lheckemann opened this issue Jul 26, 2023 · 2 comments
Closed
29 tasks done

Meeting 2023-07-26 #118

lheckemann opened this issue Jul 26, 2023 · 2 comments

Comments

@lheckemann
Copy link
Member

General business

Present in the meeting: @lheckemann @infinisil @tomberek @kevincox @edolstra

Agenda for today:

Draft RFCs

Unlabelled and New RFCs

RFCs Open for Nominations

RFCs in Discussion

RFCs in FCP

None

Accepted/Rejected/Closed

None

Discussion points

We welcome @infinisil to the steering committee!

Leader of next meeting

@tomberek will lead the next meeting on 2023-08-09

@piegamesde
Copy link
Member

I think it would be better to put RFC 136 into the FCP section, so that it doesn't drown in the list. Especially, since it will probably be merged by the time of the next meeting …

@infinisil
Copy link
Member

That just got explained to me in the meeting. The sections represent the state before the meeting. In the next meeting's notes RFC 136 will be in the FCP section. Not a perfect workflow but it works :)

@tomberek tomberek closed this as completed Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants