Re: [Pki-devel] [PATCH] 104 Moved REST CLI into pki-tools.