Re: [Pki-devel] Patch - pki-vakwetu-0003-Comment-formatting-change.patch