Typehint gateway.py #44

Merged

paris-ci merged 8 commits from pr7422 into 2.0 2021-09-02 20:50:19 +00:00

Conversation 0 Commits 8 Files Changed 2

+161 -99

paris-ci commented 2021-09-01 20:07:57 +00:00 (Migrated from github.com)

Copy Link

Copy Source

Port of https://github.com/Rapptz/discord.py/pull/7422

Port of https://github.com/Rapptz/discord.py/pull/7422

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

Clear labels

bug

Something isn't working

documentation

Improvements or additions to documentation

duplicate

This issue or pull request already exists

enhancement

New feature or request

good first issue

Good for newcomers

help wanted

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

wontfix

This will not be worked on

No labels

Milestone

No items

No Milestone

Projects

Clear projects

No projects

Assignees

Clear assignees

matthew (Matthew)

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: matthew/enhanced-discord.py#44