Merge pull request #59 from dannybd/patch-1

[tweak] "Game for {user.mention}:"
2020-12-28 20:10:48 -05:00 · 2020-12-28 20:10:48 -05:00 · 395fba2778
commit 395fba2778
parent 96c9692d09 c059992ec8
1 changed files with 1 additions and 1 deletions
--- a/the_prestige.py
+++ b/the_prestige.py
@ -553,7 +553,7 @@ async def watch_game(channel, newgame, user = None):
    in_emoji = discord.utils.get(client.emojis, id = 791578957244792832)

    if user is not None:
-        await channel.send(f"Game for {user.display_name}:")
+        await channel.send(f"Game for {user.mention}:")
    embed = await channel.send("Starting...")
    await asyncio.sleep(1)
    await embed.pin()