Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 1, 2023

Changelog for Release server-2023-11-01

@github-actions github-actions bot added the release PRs with this label will create a tag when merged label Nov 1, 2023
@chris48s chris48s enabled auto-merge November 1, 2023 20:46
@github-actions
Copy link
Contributor Author

github-actions bot commented Nov 1, 2023

Messages
📖

✨ Thanks for your contribution to Shields, @github-actions[bot]!

📖

Thanks for contributing to our documentation. We ❤️ our documentarians!

Generated by 🚫 dangerJS against 40286e4

@chris48s chris48s added this pull request to the merge queue Nov 1, 2023
Merged via the queue into master with commit ecac34c Nov 1, 2023
@chris48s chris48s deleted the server-2023-11-01-ce336be0 branch November 1, 2023 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release PRs with this label will create a tag when merged

Development

Successfully merging this pull request may close these issues.

2 participants