Skip to content

Move doc comment to correct location#1568

Merged
elharo merged 10 commits intomasterfrom
df
Dec 22, 2025
Merged

Move doc comment to correct location#1568
elharo merged 10 commits intomasterfrom
df

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Dec 21, 2025

No description provided.

@elharo elharo marked this pull request as ready for review December 22, 2025 00:01
@elharo elharo merged commit cc9cc12 into master Dec 22, 2025
37 checks passed
@elharo elharo deleted the df branch December 22, 2025 17:55
@github-actions
Copy link

@elharo Please assign appropriate label to PR according to the type of change.

@github-actions github-actions bot added this to the 3.9.1 milestone Dec 22, 2025
@elharo elharo added the documentation Improvements or additions to documentation label Dec 22, 2025
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants