Hi. On Thu, 27 Jul 2006 14:33:34 +0200, Joachim Selke wrote: > Yes, it is intentional, but I forgot to mention the change. Since we already moved from somewhere else to /etc/pki not so very long ago I think we should stick with it for the time being.