Skip to content

Conversation

@psfinaki
Copy link
Contributor

@psfinaki psfinaki commented Aug 2, 2023

Minor update, thanks to @bmitc mentioning this in this comment.

@psfinaki psfinaki requested a review from a team as a code owner August 2, 2023 15:35
@psfinaki psfinaki enabled auto-merge (squash) August 2, 2023 15:54
@bmitc
Copy link
Contributor

bmitc commented Aug 2, 2023

Thanks @psfinaki!

@psfinaki psfinaki merged commit df92217 into main Aug 2, 2023
@psfinaki psfinaki deleted the psfinaki-patch-1 branch August 2, 2023 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

6 participants