Skip to content

Conversation

dimitri-yatsenko
Copy link
Member

Reverts #1238

@github-actions github-actions bot added enhancement Indicates new improvements documentation Issues related to documentation labels Jun 2, 2025
@MilagrosMarin MilagrosMarin merged commit 7bc725d into master Jun 2, 2025
4 checks passed
@MilagrosMarin MilagrosMarin deleted the revert-1238-clean-update branch June 2, 2025 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues related to documentation enhancement Indicates new improvements
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants