From 3758c0aa83725d5c40be3aea7f8d7724444a8b16 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Fri, 29 Apr 2016 19:29:48 -0400
Subject: [PATCH] Member.mention now uses nickname hint if needed.

---
 discord/member.py | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/discord/member.py b/discord/member.py
index ccfdc1a95..5acc87f5c 100644
--- a/discord/member.py
+++ b/discord/member.py
@@ -125,3 +125,11 @@ class Member(User):
             return Colour.default()
 
     color = colour
+
+    @property
+    def mention(self):
+        if self.nick:
+            return '<@!{}>'.format(self.id)
+        return '<@{}>'.format(self.id)
+
+    mention.__doc__ = User.mention.__doc__