Skip to content

chore: update CHANGES#6743

Merged
rgrinberg merged 1 commit intomainfrom
ps/rr/chore__update_changes
Dec 20, 2022
Merged

chore: update CHANGES#6743
rgrinberg merged 1 commit intomainfrom
ps/rr/chore__update_changes

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

accidental fix of #6700 in #6654

Signed-off-by: Rudi Grinberg me@rgrinberg.com

ps-id: 79cbc1f4-9228-4d80-83eb-e921ceb3381f

accidental fix of #6700 in #6654

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

ps-id: 79cbc1f4-9228-4d80-83eb-e921ceb3381f
@rgrinberg rgrinberg merged commit 3ae4da3 into main Dec 20, 2022
@rgrinberg rgrinberg deleted the ps/rr/chore__update_changes branch December 20, 2022 22:56
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

Successfully merging this pull request may close these issues.

1 participant