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.

3 participants