Re: [Pki-devel] [PATCH] 0042 Upgrade: add scriptlet to add profile schema