diff options
author | 2022-01-08 22:44:28 +0000 | |
---|---|---|
committer | 2022-01-08 22:44:28 +0000 | |
commit | 4f823346d56929964a092bd8119ec54f1458701e (patch) | |
tree | 62513cea21cc9a7f23e17406dc3e9bef61544ba6 | |
parent | Change single quote to double quote. (diff) |
Remove trailing whitespace
Like the previous commit, this trivial change is actually to try and reproduce a bug we had with our GitHub actions.
-rw-r--r-- | bot/monkey_patches.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bot/monkey_patches.py b/bot/monkey_patches.py index 36708415..925d3206 100644 --- a/bot/monkey_patches.py +++ b/bot/monkey_patches.py @@ -6,7 +6,7 @@ from discord import Forbidden, http from discord.ext import commands log = logging.getLogger(__name__) -MESSAGE_ID_RE = re.compile(r"(?P<message_id>[0-9]{15,20})$") +MESSAGE_ID_RE = re.compile(r"(?P<message_id>[0-9]{15,20})$") class Command(commands.Command): |