Skip to content

Copy edit docs#344

Merged
elharo merged 1 commit intomasterfrom
docs
Jul 26, 2025
Merged

Copy edit docs#344
elharo merged 1 commit intomasterfrom
docs

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Jul 26, 2025

A few commas and such

@elharo elharo marked this pull request as ready for review July 26, 2025 19:01
@elharo elharo requested a review from slawekjaranowski July 26, 2025 19:01
@elharo elharo merged commit 0fc0a94 into master Jul 26, 2025
54 checks passed
@elharo elharo deleted the docs branch July 26, 2025 21:29
@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.3.3 milestone Jul 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants