Re: [Pki-devel] Karma Requests for pki-core-10.3.5-7 and pki-console-10.3.5-2