Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Oct 14, 2025

…nabled.


This is an automatic backport of pull request #1530 done by Mergify.

@mergify mergify bot added the Jazzy label Oct 14, 2025
@urfeex urfeex added the documentation Improvements or additions to documentation label Oct 14, 2025
@urfeex urfeex merged commit a929995 into jazzy Oct 14, 2025
4 of 6 checks passed
@urfeex urfeex deleted the mergify/bp/jazzy/pr-1530 branch October 14, 2025 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation Jazzy

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants