phpdevshell team mailing list archive

[TitanKing <393741@xxxxxxxxxxxxxxxxxx>]

** Changed in: phpdevshell
       Status: Fix Committed => Fix Released

-- 
Ability to filter by group/role name in user list.
https://bugs.launchpad.net/bugs/393741
You received this bug notification because you are a member of
PHPDevShell, which is subscribed to PHPDevShell.

Status in Open Source php gui type development framework.: Fix Released

Bug description:
The ability to filter the users by actual group or role name would be very useful.