diff options
| author |  wookie184 <[email protected]> | 2023-08-23 10:31:24 +0100 |
|---|---|---|
| committer | wookie184 <[email protected]> | 2023-08-23 10:31:24 +0100 |
| commit | 6ebc2806b1b2737c27c090da324d85577ea67fb6 (patch) | |
| tree | 1fb65b1dd1c8185bab4874dfc8fe5e272f20de3d /bot/bot.py | |
| parent | Handle snakes without images (diff) | |
| parent | Corrected attribute name to fetch github url in extensions.py (#1348) (diff) | |
Merge branch 'main' into snakes-cleanup
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) |