id,summary,reporter,owner,description,type,status,priority,component,severity,resolution,keywords,cc,release
3869,patch to make it work with 0.11,jodok,eblot,{{{\r\n+    def get_users_with_permissions(self_ permissions):\r\n+        users = set([u[0] for u in self.env.get_known_users()])\r\n+        result = set()\r\n+        for user in users:\r\n+            userperms = self.get_user_permissions(user)\r\n+            for group in permissions:\r\n+                if group in userperms:\r\n+                    result.add(user)\r\n+        return list(result)\r\n+\r\n}}},task,closed,normal,LdapPlugin,normal,fixed,,,0.11
