Re: [Pki-devel] [PATCH] [001] 0001-Bug-976788.patch