diff options
| author |  jesopo | 2018-12-19 21:43:10 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-19 21:43:10 +0000 |
| commit | 41d680dad7405a41d17137dc271bb4ecb5b23c09 (patch) | |
| tree | 2b345ffb7b43457fd9f771f6790b09a26d84e507 /modules/badges.py | |
| parent | Show `sender` of a pull request comment action, not the comment's `user`, for (diff) | |
| signature | ||
We should be checking if a channel name is in server.channels, not server
Diffstat (limited to 'modules/badges.py')
0 files changed, 0 insertions, 0 deletions