django/django — pull request #2551 by Osmose (2014-04-14 21:41:17+00:00)
Title: Fixes #18763 -- Added with_perm to User manager.

with_perm returns a queryset of users who have a permission matching the
given permission name.