Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix header utility docstring #6444

Merged
merged 1 commit into from
Sep 1, 2024
Merged

Conversation

Kreusada
Copy link
Member

@Kreusada Kreusada commented Sep 1, 2024

Description of the changes

Fixes the incorrectly named argument in the header function's docstring. #6102

@github-actions github-actions bot added Category: Core - API - Utils Package This is related to stuff in `redbot.core.utils` Docs-only labels Sep 1, 2024
Copy link
Member

@Kowlin Kowlin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The one time I don't check doc strings 😅

@Kowlin Kowlin merged commit f3c89ad into Cog-Creators:V3/develop Sep 1, 2024
17 checks passed
@red-githubbot red-githubbot bot added the Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. label Sep 1, 2024
Dav-Git pushed a commit to Dav-Git/Red-DiscordBot that referenced this pull request Sep 8, 2024
@Jackenmen Jackenmen added this to the 3.5.14 milestone Dec 22, 2024
@Jackenmen Jackenmen added Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. and removed Changelog Entry: Pending Changelog entry for this PR hasn't been added by repo maintainers yet. labels Dec 23, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Category: Core - API - Utils Package This is related to stuff in `redbot.core.utils` Changelog Entry: Added Changelog entry for this PR has already been added to changelog PR. Docs-only
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants