Re: [Pki-devel] PATCH 180 - some more debian changes