diff options
| author |  SomeHybrid <[email protected]> | 2023-08-27 19:51:22 +0700 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2023-08-27 19:51:22 +0700 |
| commit | bda41cb204c3303a74ab199448d391120155286b (patch) | |
| tree | b8b5bb0ff6cd21303928b74d81b986281a74784d /bot/bot.py | |
| parent | Changed cooldown to 5s, removed description if abstract not found (diff) | |
| parent | holidayreact: add alternate spellings to February (#1214) (diff) | |
Merge branch 'python-discord:main' into main
Diffstat (limited to 'bot/bot.py')
| -rw-r--r-- | bot/bot.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ class Bot(BotBase): else: await super().on_command_error(context, exception) - async def log_to_dev_log(self, title: str, details: str = None, *, icon: str = None) -> None: + async def log_to_dev_log(self, title: str, details: str | None = None, *, icon: str | None = None) -> None: """Send an embed message to the dev-log channel.""" devlog = self.get_channel(constants.Channels.devlog) |