Skip to content

chore: Merge release/1.2.1 into main#201

Merged
Mallets merged 5 commits intomainfrom
eclipse-zenoh-bot/post-release-1.2.1
Feb 14, 2025
Merged

chore: Merge release/1.2.1 into main#201
Mallets merged 5 commits intomainfrom
eclipse-zenoh-bot/post-release-1.2.1

Conversation

@eclipse-zenoh-bot
Copy link
Contributor

⚠️ This needs to be a merge commit ⚠️

@eclipse-zenoh-bot eclipse-zenoh-bot added the internal Changes not included in the changelog label Feb 14, 2025
@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/post-release-1.2.1 branch 3 times, most recently from cc4faa1 to 69c22b8 Compare February 14, 2025 11:40
@eclipse-zenoh-bot eclipse-zenoh-bot force-pushed the eclipse-zenoh-bot/post-release-1.2.1 branch from 69c22b8 to 294eed8 Compare February 14, 2025 13:02
@Mallets Mallets merged commit 107d94a into main Feb 14, 2025
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Changes not included in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants