Skip to content

chore: fix typo in comment#13377

Merged
rjan90 merged 1 commit intofilecoin-project:masterfrom
cargoedit:master
Oct 6, 2025
Merged

chore: fix typo in comment#13377
rjan90 merged 1 commit intofilecoin-project:masterfrom
cargoedit:master

Conversation

@cargoedit
Copy link
Copy Markdown
Contributor

@cargoedit cargoedit commented Oct 6, 2025

Related Issues

Proposed Changes

fix typo in comment

Additional Info

Checklist

Before you mark the PR ready for review, please make sure that:

Signed-off-by: cargoedit <cargoedit@outlook.com>
@github-project-automation github-project-automation Bot moved this to 📌 Triage in FilOz Oct 6, 2025
@github-project-automation github-project-automation Bot moved this from 📌 Triage to ✔️ Approved by reviewer in FilOz Oct 6, 2025
@rjan90 rjan90 enabled auto-merge (squash) October 6, 2025 17:21
@rjan90 rjan90 merged commit 9400872 into filecoin-project:master Oct 6, 2025
97 of 101 checks passed
@github-project-automation github-project-automation Bot moved this from ✔️ Approved by reviewer to 🎉 Done in FilOz Oct 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: 🎉 Done

Development

Successfully merging this pull request may close these issues.

2 participants