Re: [Pki-devel] [PATCH] 800-801 Removed hard-coded paths in deployment tool.