From 7eb73cdc7115ce655ff3cc3dfe7f5c1c2ec3f281 Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Fri, 30 Dec 2016 19:52:26 -0500
Subject: [PATCH] Add Role.members to get every member with a role.

---
 discord/role.py | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/discord/role.py b/discord/role.py
index d517c8e8f..bb3ba8ec1 100644
--- a/discord/role.py
+++ b/discord/role.py
@@ -150,6 +150,19 @@ class Role(Hashable):
         """Returns a string that allows you to mention a role."""
         return '<@&{}>'.format(self.id)
 
+    @property
+    def members(self):
+        """Returns a list of :class:`Member` with this role."""
+        all_members = self.guild.members
+        if self.is_everyone:
+            return all_members
+
+        ret = []
+        for member in all_members:
+            if self in member.roles:
+                ret.append(member)
+        return ret
+
     @asyncio.coroutine
     def _move(self, position):
         if position <= 0: