Skip to content

chore(docs): remove duplicate words#12815

Merged
rvagg merged 1 commit intofilecoin-project:masterfrom
taozui472:patch
Jan 8, 2025
Merged

chore(docs): remove duplicate words#12815
rvagg merged 1 commit intofilecoin-project:masterfrom
taozui472:patch

Conversation

@taozui472
Copy link
Copy Markdown
Contributor

No description provided.

@rvagg rvagg changed the title chore: remove duplication words chore(docs): remove duplicate words Jan 8, 2025
@rvagg rvagg added the skip/changelog This change does not require CHANGELOG.md update label Jan 8, 2025
@rvagg rvagg enabled auto-merge (squash) January 8, 2025 04:21
@rvagg rvagg merged commit 9a696eb into filecoin-project:master Jan 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip/changelog This change does not require CHANGELOG.md update

Projects

Status: ☑️ Done (Archive)

Development

Successfully merging this pull request may close these issues.

2 participants