Skip to content

chore: bump to 3.21#12198

Merged
rgrinberg merged 1 commit intomainfrom
ps/rr/chore__bump_to_3_21
Aug 17, 2025
Merged

chore: bump to 3.21#12198
rgrinberg merged 1 commit intomainfrom
ps/rr/chore__bump_to_3_21

Conversation

@rgrinberg
Copy link
Copy Markdown
Member

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

@rgrinberg rgrinberg force-pushed the ps/rr/chore__bump_to_3_21 branch 2 times, most recently from 382cc16 to b612adf Compare August 17, 2025 11:41
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

<!-- ps-id: 4267c57e-dcfa-495e-bc17-4ef8533b1cdd -->

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
@rgrinberg rgrinberg force-pushed the ps/rr/chore__bump_to_3_21 branch from b612adf to 2836532 Compare August 17, 2025 11:43
@rgrinberg rgrinberg merged commit ed046fd into main Aug 17, 2025
9 of 10 checks passed
@rgrinberg rgrinberg deleted the ps/rr/chore__bump_to_3_21 branch August 17, 2025 11:45
@maiste maiste mentioned this pull request Aug 8, 2025
15 tasks
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.

2 participants