Re: [Pki-devel] [PATCH] 225 Renamed base/deploy to base/server.