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

Draft 2023 Press Release #1113

Merged
merged 2 commits into from
Aug 1, 2023
Merged

Draft 2023 Press Release #1113

merged 2 commits into from
Aug 1, 2023

Conversation

mmccool
Copy link
Contributor

@mmccool mmccool commented Jul 27, 2023

No description provided.

@sebastiankb
Copy link
Collaborator

in this PR there is only your change request visible. That means that we need different PRs to collect all the comments and change requests from the members. Is not the perfect solution but ok for me.

@mmccool
Copy link
Contributor Author

mmccool commented Aug 1, 2023

Sorry about that. I just assumed you would expand the text and comment on other things in your review than the single change. Anyway, we will talk about it in our meeting.

@mmccool mmccool merged commit 9109464 into main Aug 1, 2023
@mmccool mmccool added the Press label Oct 10, 2023
@egekorkan egekorkan deleted the mmccool-patch-1 branch July 15, 2024 21:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants