Re: [Pki-devel] [PATCH] 003 Make pki group-member-show case insensitive